From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Thu, 18 Mar 93 10:18:24 +0100
Received: from concorde.inria.fr by margaux.inria.fr, Wed, 17 Mar 93 21:26:39 +0100
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Wed, 17 Mar 1993 21:26:38 +0100
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA20250; Wed, 17 Mar 93 12:26:07 -0800
From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9303172026.AA20250@Tamuz.Stanford.EDU>
Subject: Re: Stream pattern matching
To: Michel.Mauny@inria.fr
Date: Wed, 17 Mar 1993 12:26:06 -0800 (PST)
Cc: cr@dcs.ed.ac.uk, caml-list@margaux
In-Reply-To: <9303171347.AA17396@pauillac.inria.fr> from "Michel Mauny" at Mar 17, 93 02:47:49 pm
Content-Type: text
Sender: weis@margaux

En plus de corriger l'orthographe de la ligne "Subject", je voudrais
juste faire remarquer que la factorisation gauche automatique des
analyseurs n'est non seulement pas vraiment souhaitable, mais encore
infaisable dans toute sa generalite a cause des effets de bords:

        let f = function [< p x; 'Terminal "foo" >] -> ...
                       | [< p x; 'Terminal "bar" >] -> ...

n'est pas factorisable, car rien ne vous dit que "p" va se comporter
de la meme maniere lorsqu'il est appele deux fois sur le meme flux.
Telle est la puissance et la gloire des langages algorithmiques, mes
freres. La factorisation gauche automatique ne serait possible que
pour des motifs commencant par des terminaux, ce qui n'est pas tres
interessant.

- Xavier