Re: [English only, sorry] O'Labl hands off the standard library?

From: Jun P. Furuse (
Date: Fri Apr 11 1997 - 14:17:58 MET DST

Message-Id: <>
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" <>

> 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
    Institut National de Recherche en Informatique et en Automatique

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:10 MET