Message-Id: <199704111217.OAA01155@pauillac.inria.fr>
To: caml-list@inria.fr
Subject: Re: [English only, sorry] O'Labl hands off the standard library?
Date: Fri, 11 Apr 1997 14:17:58 +0200
From: "Jun P. Furuse" <Jun.Furuse@inria.fr>
> 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?
O'Labl without labels ... It is no longer O'Labl ... Anyway, use olabl
or olablc with the -nolabels command line option. With this option,
you do not need to put labels.
% olabl -nolabels
# let x = String.sub;;
val x : string -> pos:int -> len:int -> string = <fun>
# x "aiu" pos: 0 len: 1;;
- : string = "a"
# x "aiu" 0 1;;
- : string = "a"
# x we: "aiu" are: 0 ignored: 1;;
- : string = "a"
Still the types are with labels , but O'Labl ignores them. Of course,
you lose the free order applications and the optional arguments.
-----------------------------------------------------------------------
Jun P. Furuse Jun.Furuse@inria.fr
INRIA
Institut National de Recherche en Informatique et en Automatique
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:10 MET