From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <zsh-users-return-19978-mason-zsh=primenet.com.au@zsh.org>
Received: (qmail 22501 invoked by alias); 6 Mar 2015 16:32:20 -0000
Mailing-List: contact zsh-users-help@zsh.org; run by ezmlm
Precedence: bulk
X-No-Archive: yes
List-Id: Zsh Users List <zsh-users.zsh.org>
List-Post: <mailto:zsh-users@zsh.org>
List-Help: <mailto:zsh-users-help@zsh.org>
X-Seq: 19978
Received: (qmail 19609 invoked from network); 6 Mar 2015 16:32:06 -0000
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on f.primenet.com.au
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_PCNT
	autolearn=no version=3.3.2
Date: Fri, 6 Mar 2015 17:32:01 +0100
From: Vincent Lefevre <vincent@vinc17.net>
To: zsh-users@zsh.org
Subject: Re: grammar triviality with '&&'
Message-ID: <20150306163201.GD10507@ypig.lip.ens-lyon.fr>
Mail-Followup-To: zsh-users@zsh.org
References: <13666281425228233@web7o.yandex.ru>
 <54F345D3.9010204@eastlink.ca>
 <D0509295-7DA9-4F18-9E3D-D50C0A756998@larryv.me>
 <20150302022754.GA7449@xvii.vinc17.org>
 <150302005440.ZM16546@torch.brasslantern.com>
 <20150302103156.GB6869@xvii.vinc17.org>
 <150302084958.ZM17306@torch.brasslantern.com>
 <20150304085512.GA3609@ypig.lip.ens-lyon.fr>
 <54F73D18.8070801@eastlink.ca>
 <150305205951.ZM8811@torch.brasslantern.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <150305205951.ZM8811@torch.brasslantern.com>
X-Mailer-Info: http://www.vinc17.net/mutt/
User-Agent: Mutt/1.5.23-6424-vl-r76280 (2015-02-19)

On 2015-03-05 20:59:51 -0800, Bart Schaefer wrote:
> On Mar 4,  9:12am, Ray Andrews wrote:
> }
> } If an extra degree of freedom and capability was possible, and IF it
> } could be implemented with no gotchas, then why not?
> 
> Because we don't need the grammar to become any more ad-hoc than it
> already has?

I don't think that the grammar would become more complex.
For instance, in the POSIX grammar, I suppose that it suffices
to change

and_or           :                         pipeline
                 | and_or AND_IF linebreak pipeline
                 | and_or OR_IF  linebreak pipeline
                 ;

to

and_or           :                         pipeline
                 |        AND_IF linebreak pipeline
                 |        OR_IF  linebreak pipeline
                 | and_or AND_IF linebreak pipeline
                 | and_or OR_IF  linebreak pipeline
                 ;

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)