English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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
<Christophe.Troestler@umh.ac.be> wrote:
> On Fri, 17 Dec 2004, Yaron Minsky <yminsky@gmail.com> 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. http://citeseer.ist.psu.edu/appel92critique.html 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.