> 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