From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 30 May 94 10:57:33 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Fri, 27 May 94 20:55:44 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Fri, 27 May 1994 20:55:42 +0200 Received: from polytechnique.polytechnique.fr (root@polytechnique.polytechnique.fr [129.104.30.1]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id UAA20555 for ; Fri, 27 May 1994 20:55:43 +0200 Received: from lix.polytechnique.fr (lix.polytechnique.fr [129.104.11.2]) by polytechnique.polytechnique.fr (8.6.8.1/8.6.6) with SMTP id VAA09676; Fri, 27 May 1994 21:06:05 +0200 Received: by lix.polytechnique.fr (5.65/5.65c-IDA-polytechnique) id AA22849; Fri, 27 May 1994 20:58:24 +0200 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 Cc: caml-list@margaux.inria.fr Sender: weis@pauillac.inria.fr 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...)