>>>>> On Sat, 28 May 1994 12:01:55 -0000, Christophe Raffalli <cr@dcs.ed.ac.uk> said:

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

Yes - Daniel de Rauglaudre suggests (and I agree) that we capitalize
constructors, and not capitalize variables.

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.

--chet--