From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA09199 for caml-redistribution@pauillac.inria.fr; Fri, 24 Mar 2000 16:19:47 +0100 (MET)
Resent-Message-Id: <200003241519.QAA09199@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 OAA32282 for <caml-list@pauillac.inria.fr>; Thu, 23 Mar 2000 14:04:18 +0100 (MET)
Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA00194
	for <caml-list@inria.fr>; Thu, 23 Mar 2000 14:04:18 +0100 (MET)
Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.75.49])
	by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id OAA30726;
	Thu, 23 Mar 2000 14:03:23 +0100
Received: from luther by lambda.u-strasbg.fr with local (Exim 3.12 #1 (Debian))
	id 12Y7KP-0003Rq-00; Thu, 23 Mar 2000 14:07:09 +0100
Date: Thu, 23 Mar 2000 14:07:09 +0100
From: Sven LUTHER <luther@dpt-info.u-strasbg.fr>
To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
Cc: dmason@sarg.ryerson.ca, caml-list@inria.fr
Subject: Re: Syntax for label, NEW PROPOSAL
Message-ID: <20000323140709.A13116@dpt-info.u-strasbg.fr>
Reply-To: luther@dpt-info.u-strasbg.fr
Mail-Followup-To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>,
	dmason@sarg.Ryerson.CA, caml-list@inria.fr
References: <200003171734.MAA28829@sarg.Ryerson.CA> <20000318092654O.garrigue@kurims.kyoto-u.ac.jp>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
User-Agent: Mutt/1.0.1i
In-Reply-To: <20000318092654O.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Sat, Mar 18, 2000 at 09:26:54AM +0900
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 24 Mar 2000 16:19:47 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

On Sat, Mar 18, 2000 at 09:26:54AM +0900, Jacques Garrigue wrote:
> > 3) I hope classic mode will remain the default for a *long* time.
> 
> There are no plans to change this.
> At least a consensus would be needed.

I think what would be very nice, is to be able to commute argument for some
functions, while using the classic mode for the rest of the code.

this could (or maybe can already) be done as follows :

...
lot of classic code
...

#open "commute" (* or "label", or "whatever" ...)

some label/commute/modern code

#close "commute"

...
rest of classic code
...

if that is possible, all is fine with me, best would be to have it be done
automatically, but since it don't seem to be possible, ...

Friendly,

Sven LUTHER