From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 30 May 94 10:58:11 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Sat, 28 May 94 12:16:14 +0200 Received: from pauillac.inria.fr by margaux.inria.fr, Sat, 28 May 1994 12:16:13 +0200 Received: from localhost.inria.fr by pauillac.inria.fr; Sat, 28 May 94 12:16:13 +0200 To: Christophe Raffalli Cc: Judicael.Courant@lip.ens-lyon.fr, caml-list@margaux.inria.fr Subject: Re: Irrelevant variables in patterns In-Reply-To: Your message of Fri, 27 May 1994 18:01:59 -0000. <6498.9405271701@whalsay.dcs.ed.ac.uk> Date: Sat, 28 May 1994 12:16:12 +0200 Message-Id: <29270.770120172@pauillac.inria.fr> From: Chet Murthy Sender: weis@pauillac.inria.fr >>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). But that doesn't work if I have 10 different exceptions in my program - I am unwilling to write 10-way branches, as are most programmers. Exceptions in ML are a programming mechanism. They are not used anymore for exceptional conditions. We need a new mechanism for that. --chet--