From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA01885 for caml-redistribution@pauillac.inria.fr; Tue, 21 Mar 2000 15:17:47 +0100 (MET)
Resent-Message-Id: <200003211417.PAA01885@pauillac.inria.fr>
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA07861 for <caml-list@pauillac.inria.fr>; Sat, 18 Mar 2000 23:39:41 +0100 (MET)
Received: from isil.localdomain (ISIL.WV.CC.CMU.EDU [128.2.66.210])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id XAA00056;
	Sat, 18 Mar 2000 23:39:25 +0100 (MET)
Received: by isil.localdomain (Postfix, from userid 1000)
	id 9E0B7369FA; Sat, 18 Mar 2000 17:40:20 -0500 (EST)
Sender: prevost@isil.localdomain
To: Damien Doligez <Damien.Doligez@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: Syntax for label, NEW PROPOSAL
References: <200003172133.WAA16479@tobago.inria.fr>
From: John Prevost <prevost@maya.com>
Date: 18 Mar 2000 17:40:17 -0500
In-Reply-To: Damien Doligez's message of "Fri, 17 Mar 2000 22:33:59 +0100"
Message-ID: <87ln3f9a26.fsf@isil.localdomain>
User-Agent: Gnus/5.0804 (Gnus v5.8.4) Emacs/20.5
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Resent-From: weis@pauillac.inria.fr
Resent-Date: Tue, 21 Mar 2000 15:17:47 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

Damien Doligez <Damien.Doligez@inria.fr> writes:

> >From: Don Syme <dsyme@microsoft.com>
> >  - No labels inside the arguments of higher order functions.  This 
> >    will really confuse new users who try not to use labels!
> >    e.g.. no "acc" in the first argument of
> >       val fold_right: fun:('b -> acc:'a -> 'a) -> 'b array -> acc:'a -> 'a
> 
> But that argument doesn't really work because new users who try not
> to use labels will not use label mode.

Actually, that's over-simplifying.  In fact, I would simply turn off
label mode--EXCEPT that I might want to use something like tk, which
has an API I don't think is usable without labels.

So I would either have a mixture of source files, some compiled with
labels on some with off, or all labels.  And even in the files where I
want labels, I'd rather not use them on the standard library, but I
would have to.  :(

John.