From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Fri, 27 May 94 20:43:54 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Fri, 27 May 94 19:02:36 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Fri, 27 May 1994 19:02:33 +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 TAA19401 for ; Fri, 27 May 1994 19:02:34 +0200 Received: from whalsay.dcs.ed.ac.uk by dcs.ed.ac.uk id aa13690; 27 May 94 18:02 BST Date: Fri, 27 May 1994 18:01:59 +0000 Message-Id: <6498.9405271701@whalsay.dcs.ed.ac.uk> From: Christophe Raffalli Sender: weis@pauillac.inria.fr To: Judicael.Courant@lip.ens-lyon.fr Cc: caml-list@margaux.inria.fr In-Reply-To: <9405261303.AA13138@lip.ens-lyon.fr> (Judicael.Courant@lip.ens-lyon.fr) Subject: Irrelevant variables in patterns La solution serait plutot de fournir un warning lorsque l'on capture toutes les exception, car cela est un bug dans 99% des cas (on ne veut pas attraper Catch_break ou Out_of_memory en general). Christophe.