Re: Alias and Tuple patterns

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Thu Jan 30 1997 - 11:06:22 MET


From: Xavier Leroy <Xavier.Leroy@inria.fr>
Message-Id: <199701301006.LAA25492@pauillac.inria.fr>
Subject: Re: Alias and Tuple patterns
In-Reply-To: <199701291035.LAA04724@capa.inria.fr> from Yann Coscoy at "Jan 29, 97 11:35:47 am"
To: Yann.Coscoy@sophia.inria.fr (Yann Coscoy)
Date: Thu, 30 Jan 1997 11:06:22 +0100 (MET)

[English summary: "," binds tighter than "as" in patterns, so there's
no other possible parsing.]

> Il y a un comportement du parser que je trouve plutot bizarre :
>
> (<pat1>, <pat2> as a, <pat3>)
>
> est lu comme :
>
> (((<pat1>, <pat2>) as a), <pat3>).

C'est du au fait que "," as une priorite plus elevee que "as" dans les
motifs, i.e. (x,y as t) signifie ((x,y) as t) et non pas (x, (y as t)).

> Je m'attendrais plutot a :
>
> (<pat1>,(<pat2> as a),<pat3>)

Cette lecture ne respecte pas les regles de priorite.

- Xavier Leroy



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET