On Fri, 17 Dec 2004 22:00:16 +0100 (CET), Christophe TROESTLER
<Christophe.Troestler@umh.ac.be> wrote:
> On Fri, 17 Dec 2004, Yaron Minsky <yminsky@gmail.com> wrote:
> >
> > I don't think the critique applies.  Variant types can be
> > distinguished by the leading tick.  Why do they need to be
> > uppercased as well?  I suppose it would provide some extra visual
> > uniformity with [...]
> 
> I agree -- I personally would wish that the back tick only
> distinguishes between normal and polymorphic variant constructors.

More like we disagree...  I see the point, but it seems fairly trivial
compared to breaking existing code.  I vote nay to the change. 
(luckily, ocaml is not a democracy.)

y