Alias and Tuple patterns

Alias and Tuple patterns

[Yann Coscoy]

(************************ french *********************************)

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>).

Je m'attendrais plutot a  :

(<pat1>,(<pat2> as a),<pat3>).

   Yann Coscoy


(*************************** english *******************************)

The parser has a stange behaviour :

(<pat1>, <pat2> as a, <pat3>)

is understood as :

(((<pat1>, <pat2>) as a), <pat3>).

I was expecting :

(<pat1>,(<pat2> as a),<pat3>).

   Yann Coscoy

Re: Alias and Tuple patterns

[Xavier Leroy]

[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