Date: Sat, 28 May 94 12:09:16 BST
Message-Id: <13717.9405281109@colonsay.dcs.ed.ac.uk>
From: Christophe Raffalli <cr@dcs.ed.ac.uk>
To: Chet.Murthy@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.