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
Date: Thu, 23 Mar 2000 14:07:09 +0100 [thread overview]
Message-ID: <20000323140709.A13116@dpt-info.u-strasbg.fr> (raw)
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
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
next prev parent reply other threads:[~2000-03-24 15:19 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-15 20:40 Don Syme
2000-03-17 9:48 ` Jacques Garrigue
2000-03-17 17:34 ` Dave Mason
2000-03-18 0:26 ` Jacques Garrigue
2000-03-23 13:07 ` Sven LUTHER [this message]
-- strict thread matches above, loose matches on Subject: below --
2000-03-17 21:33 Damien Doligez
2000-03-18 21:07 ` Frank Atanassow
2000-03-18 22:40 ` John Prevost
2000-03-17 17:03 Don Syme
2000-03-17 19:24 ` John Prevost
2000-03-14 16:53 Syntax for label Don Syme
2000-03-15 3:15 ` Syntax for label, NEW PROPOSAL Jacques Garrigue
2000-03-15 6:58 ` Christophe Raffalli
2000-03-15 21:54 ` Julian Assange
2000-03-15 11:56 ` Wolfram Kahl
2000-03-15 13:58 ` Pierre Weis
2000-03-15 15:26 ` Sven LUTHER
2000-03-17 7:44 ` Pierre Weis
2000-03-15 17:04 ` John Prevost
2000-03-17 10:11 ` Jacques Garrigue
2000-03-15 17:06 ` Markus Mottl
2000-03-15 19:11 ` Remi VANICAT
2000-03-17 8:30 ` Pierre Weis
2000-03-17 14:05 ` Jacques Garrigue
2000-03-17 16:08 ` Pierre Weis
2000-03-15 21:30 ` John Max Skaller
2000-03-16 2:55 ` Jacques Garrigue
2000-03-17 15:13 ` Pierre Weis
2000-03-17 17:33 ` Wolfram Kahl
2000-03-18 11:59 ` Jacques Garrigue
2000-03-21 16:51 ` Pascal Brisset
2000-03-23 11:14 ` Nicolas barnier
2000-03-16 8:50 ` Pascal Brisset
2000-03-17 11:15 ` Sven LUTHER
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20000323140709.A13116@dpt-info.u-strasbg.fr \
--to=luther@dpt-info.u-strasbg.fr \
--cc=caml-list@inria.fr \
--cc=dmason@sarg.ryerson.ca \
--cc=garrigue@kurims.kyoto-u.ac.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox