From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 30 May 94 18:52:11 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Sat, 28 May 94 13:11:41 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Sat, 28 May 1994 13:11:40 +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 NAA24845 for ; Sat, 28 May 1994 13:11:39 +0200 Received: from colonsay.dcs.ed.ac.uk by dcs.ed.ac.uk id aa23271; 28 May 94 12:09 BST Date: Sat, 28 May 94 12:09:16 BST Message-Id: <13717.9405281109@colonsay.dcs.ed.ac.uk> From: Christophe Raffalli Sender: weis@pauillac.inria.fr To: Chet.Murthy@inria.fr Cc: Judicael.Courant@lip.ens-lyon.fr, caml-list@margaux.inria.fr In-Reply-To: <29612.770123135@pauillac.inria.fr> (Chet.Murthy@inria.fr) Subject: Irrelevant variables in patterns > Another simple solution is to disallow variables in case/match/try > which do not actually occur in the body. If you really want to have > such variables around, then put an underscore in front of the name. I like this one ! Christophe.