Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Poly variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-17 (20:11)
From: Yaron Minsky <yminsky@g...>
Subject: Re: [Caml-list] Poly variants
On Fri, 17 Dec 2004 20:43:48 +0100 (CET), Christophe TROESTLER
<> wrote:
> On Fri, 17 Dec 2004, Yaron Minsky <> wrote:
> >
> > Egad!  I wish someone had announced this!  Our code uses all sorts of
> > lower-case variants.  Is there a serious possibility of this going
> > away?  And if so, why?
> See e.g. section 3,
> page 12.  Other will certainly have more to say.  (My original post
> was motivated by hitting such a "bug".)

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
ordinary variant types, but it hardly seems worth breaking existing
code for that.