Date: Fri, 27 May 1994 20:58:24 +0200
From: Damien.Doligez@inria.fr (Damien Doligez)
Message-Id: <9405271858.AA22849@lix.polytechnique.fr>
To: cr@dcs.ed.ac.uk
Subject: Re: Irrelevant variables in patterns
La solution serait plutot d'avoir une distinction syntaxique entre
variables et constructeurs (par exemple, les constructeurs commencent
par une majuscule et les variables par une minuscule).
Ca resout le meme probleme qui apparait dans les match.
Malheureusement, ce qui precede est un sujet de flame-wars permanent
parmi les implementeurs de Caml, donc on s'est impose un moratoire
sur le sujet (moratoire que je viens de violer...)