Irrelevant variables in patterns

Christophe Raffalli (cr@dcs.ed.ac.uk)
Sat, 28 May 94 12:01:55 BST

Date: Sat, 28 May 94 12:01:55 BST
Message-Id: <13595.9405281101@colonsay.dcs.ed.ac.uk>
From: Christophe Raffalli <cr@dcs.ed.ac.uk>
To: Chet.Murthy@inria.fr
In-Reply-To: <29438.770121809@pauillac.inria.fr> (Chet.Murthy@inria.fr)
Subject: Irrelevant variables in patterns

I understand your "point de vue". But then to catch the mispelling of an
exception, the only solution I can see is a different syntax for constructors
and variables at least in pattern (a quote in front of the constructeur in
pattern only).

I think this is important to find a solution to the mispelling problem,
because it's a common bug which is sometimes tricky to discover.

Christophe.