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 KAA01191 for caml-redistribution@pauillac.inria.fr; Fri, 17 Mar 2000 10:02:43 +0100 (MET)
Resent-Message-Id: <200003170902.KAA01191@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 WAA17414 for <caml-list@pauillac.inria.fr>; Wed, 15 Mar 2000 22:55:05 +0100 (MET)
Received: from suburbia.net (suburbia.net [203.4.184.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA26569
	for <caml-list@inria.fr>; Wed, 15 Mar 2000 22:55:02 +0100 (MET)
Received: by suburbia.net (Postfix, from userid 110)
	id 39B6A6C687; Thu, 16 Mar 2000 08:54:58 +1100 (EST)
Sender: proff@suburbia.net
To: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
Cc: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>, dsyme@microsoft.com,
        caml-list@inria.fr
Subject: Re: Syntax for label, NEW PROPOSAL
References: <39ADCF833E74D111A2D700805F1951EF180144F2@RED-MSG-06> <20000315121549A.garrigue@kurims.kyoto-u.ac.jp> <38CF34A2.907ADFF4@univ-savoie.fr>
Cc: proff@iq.org
From: Julian Assange <proff@iq.org>
Date: 16 Mar 2000 08:54:57 +1100
In-Reply-To: Christophe Raffalli's message of "Wed, 15 Mar 2000 07:58:42 +0100"
Message-ID: <wxzorzyk3y.fsf@suburbia.net>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) XEmacs/21.1 (Big Bend)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 17 Mar 2000 10:02:43 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> writes:

> Jacques Garrigue wrote:
> > 
> > In this case, I suppose we should read `%' as `is'.
> > 
> 
> >         Objective Caml version 2.99+10
> > 
> > # List.map;;
> > - : fun%('a -> 'b) -> 'a list -> 'b list = <fun>
> > # List.map [1;2;3] fun%succ;;
> > - : int list = [2; 3; 4]
> > # let sub ?(%pos = 0) ?%len s =
> >     let len = match len with Some x -> x | None -> String.length s - pos in
> >     String.sub %pos %len s;;
> > val sub : ?pos%int -> ?len%int -> string -> string = <fun>
> > 
> 
> I really do think that it looks better !

I don't. % is a heavy character, only '#' and '@' are worse. '-' would
be far better, although this might break existing code. The natural
meaning is closest to "-" and ":". There is no relation to '%' or '#'.

Cheers,
Julian.