Irrelevant variables in patterns

Christophe Raffalli (cr@dcs.ed.ac.uk)
Fri, 27 May 1994 18:01:59 +0000

Date: Fri, 27 May 1994 18:01:59 +0000
Message-Id: <6498.9405271701@whalsay.dcs.ed.ac.uk>
From: Christophe Raffalli <cr@dcs.ed.ac.uk>
To: Judicael.Courant@lip.ens-lyon.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.