From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA16374 for caml-redistribution; Fri, 31 Jan 1997 08:41:03 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA25497 for <caml-list@pauillac.inria.fr>; Thu, 30 Jan 1997 11:06:24 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.6/8.7.3) with ESMTP id LAA08091; Thu, 30 Jan 1997 11:06:22 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA25492; Thu, 30 Jan 1997 11:06:22 +0100 (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)
Cc: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis

[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