From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 30 May 94 11:46:46 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Sat, 28 May 94 13:02:53 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Sat, 28 May 1994 13:02:52 +0200 Received: from stroma.dcs.ed.ac.uk (mmdf@stroma.dcs.ed.ac.uk [129.215.160.108]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id NAA24789 for ; Sat, 28 May 1994 13:02:39 +0200 Received: from colonsay.dcs.ed.ac.uk by dcs.ed.ac.uk id aa23132; 28 May 94 12:01 BST Date: Sat, 28 May 94 12:01:55 BST Message-Id: <13595.9405281101@colonsay.dcs.ed.ac.uk> From: Christophe Raffalli Sender: weis@pauillac.inria.fr To: Chet.Murthy@inria.fr Cc: Chet.Murthy@inria.fr, Judicael.Courant@lip.ens-lyon.fr, caml-list@margaux.inria.fr In-Reply-To: <29438.770121809@pauillac.inria.fr> (Chet.Murthy@inria.fr) Subject: Irrelevant variables in patterns I understand your "point de vue". But then to catch the mispelling of an exception, the only solution I can see is a different syntax for constructors and variables at least in pattern (a quote in front of the constructeur in pattern only). I think this is important to find a solution to the mispelling problem, because it's a common bug which is sometimes tricky to discover. Christophe.