Re: Irrelevant variables in patterns

Chet Murthy (murthy@pauillac.inria.fr)
Sat, 28 May 1994 12:16:12 +0200

To: Christophe Raffalli <cr@dcs.ed.ac.uk>
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 <murthy@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--