Browse thread
[English only, sorry] O'Labl hands off the standard library?
-
Ian T Zimmerman
- Jacques GARRIGUE
[
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: | 1997-04-14 (13:42) |
From: | Jacques GARRIGUE <garrigue@k...> |
Subject: | Re: [English only, sorry] O'Labl hands off the standard library? |
From: Ian T Zimmerman <itz@rahul.net> Hi. I'm quite intrigued by the polymorphic variant type system extension in O'Labl and I would like to try it; but I thoroughly dislike the other parts of O'Labl (labels and optionals). Is there a way to apply just parts of the Ocaml -> O'Labl patch to get just the polymorphic variants and nothing else? I realize that nothing forces me to actually _use_ labels and optionals, except --- the standard library gets labelized! So, I'd be willing to have the entire compiler patch applied, if only the library is left alone. Please? Well, since I'm working on the same set of sources for the two extensions, this is impossible. You get the labels and optionals too, whether you like it or not. Your dislike surprises me a bit, since the people who start programming with labels usually enjoy them a lot :-) On the other hand, as explained in the manual, if you rename olabl as ocaml, or use the -nolabels command line option, you can use it as O'Caml + variants. Then you don't need to write labels in function calls. If you don't like to see labels in the standard library, you can replace it by the original one and bootstrap with it. Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp <A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>