Browse thread
Poly variants
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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. y