From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Future of labels, and ideas for library labelling
Date: Tue, 3 Apr 2001 16:12:52 +0200 [thread overview]
Message-ID: <20010403161252.I9381@verdot.inria.fr> (raw)
In-Reply-To: <20010403230626W.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Tue, Apr 03, 2001 at 11:06:26PM +0900
May I ask a question? What is exactly the problem of having just one mode:
labels being optional *and* commutation mode? What is the problem, exactly?
1. if there are no labels, then the order is the order
2. if there are labels, then the parameters are indicated by the labels
Where is the problem? Could you give us examples?
--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-04-03 14:12 UTC|newest]
Thread overview: 76+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-31 3:40 [Caml-list] Future of labels Yaron M. Minsky
2001-04-02 3:39 ` [Caml-list] Future of labels, and ideas for library labelling Jacques Garrigue
2001-04-02 7:58 ` Judicael Courant
2001-04-02 8:50 ` Markus Mottl
2001-04-02 10:33 ` kahl
2001-04-03 0:35 ` Jacques Garrigue
2001-04-03 1:36 ` Kipton M Barros
2001-04-03 1:52 ` Patrick M Doane
2001-04-03 3:53 ` Jacques Garrigue
2001-04-03 5:10 ` Patrick M Doane
2001-04-03 9:30 ` Jacques Garrigue
2001-04-03 8:52 ` Xavier Leroy
2001-04-03 9:34 ` Judicael Courant
2001-04-03 9:54 ` Jacques Garrigue
2001-04-03 12:59 ` Jean-Christophe Filliatre
2001-04-03 13:11 ` [Caml-list] ocaml, java, rmi and jini Martin Berger
2001-04-03 19:23 ` Chris Hecker
2001-04-03 20:50 ` Gerd Stolpmann
2001-04-06 9:40 ` Sven LUTHER
2001-04-06 20:57 ` Gerd Stolpmann
2001-04-03 21:06 ` martinb
2001-04-06 15:03 ` Xavier Leroy
2001-04-03 14:06 ` [Caml-list] Future of labels, and ideas for library labelling Jacques Garrigue
2001-04-03 14:12 ` Daniel de Rauglaudre [this message]
2001-04-03 14:42 ` Claude Marche
2001-04-04 19:18 ` Gerd Stolpmann
2001-04-03 9:55 ` Ohad Rodeh
2001-04-03 18:06 ` [Caml-list] Example of Ocaml-syntax problem with ; Mattias Waldau
2001-04-04 15:15 ` [Caml-list] Suspending threads Ohad Rodeh
2001-04-04 17:28 ` Vitaly Lugovsky
2001-04-06 13:21 ` Xavier Leroy
2001-04-03 12:02 ` [Caml-list] Future of labels, and ideas for library labelling Dave Mason
2001-04-03 13:43 ` Francois-Rene Rideau
2001-04-03 14:23 ` Daniel de Rauglaudre
2001-04-03 13:43 ` Frank Atanassow
2001-04-03 13:58 ` Joshua D. Guttman
2001-04-03 16:52 ` Eric C. Cooper
2001-04-09 9:05 ` John Max Skaller
2001-04-09 7:29 ` John Max Skaller
2001-04-03 8:07 ` Judicael Courant
2001-04-03 6:55 ` Chris Hecker
2001-04-03 18:13 ` [Caml-list] Generics? Brian Rogoff
2001-04-03 20:12 ` Chris Hecker
2001-04-10 16:48 ` John Max Skaller
2001-04-09 8:11 ` [Caml-list] Future of labels, and ideas for library labelling John Max Skaller
2001-04-09 9:21 ` Jacques Garrigue
2001-04-09 15:06 ` Fergus Henderson
2001-04-10 18:49 ` John Max Skaller
2001-04-09 19:54 ` Chris Hecker
2001-04-10 3:37 ` Jacques Garrigue
2001-04-10 7:42 ` Judicael Courant
2001-04-10 8:25 ` Jacques Garrigue
2001-04-10 8:46 ` Claude Marche
2001-04-10 10:09 ` Jacques Garrigue
2001-04-10 14:42 ` Lionnel Maugis
2001-04-10 9:06 ` François-René Rideau
2001-04-11 15:34 ` Jacques Garrigue
2001-04-11 17:48 ` Dave Mason
2001-04-12 12:39 ` [Caml-list] How do I define prog1? Mattias Waldau
2001-04-12 14:22 ` Vitaly Lugovsky
2001-04-12 17:53 ` William Chesters
2001-04-12 15:15 ` Sven LUTHER
2001-04-12 16:14 ` Mattias Waldau
2001-04-12 15:21 ` Maxence Guesdon
2001-04-12 15:47 ` Stefan Monnier
2001-04-17 20:04 ` Chris Hecker
2001-04-10 22:43 ` [Caml-list] Future of labels, and ideas for library labelling Brian Rogoff
2001-04-11 8:29 ` Jacques Garrigue
2001-04-11 9:44 ` Anton Moscal
2001-04-11 13:16 ` Didier Remy
2001-04-11 15:11 ` Jacques Garrigue
2001-04-03 7:27 Arturo Borquez
2001-04-03 16:39 John R Harrison
2001-04-04 16:37 Dave Berry
2001-04-11 10:48 Francois-Rene Rideau
2001-04-17 11:53 Poigné
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=20010403161252.I9381@verdot.inria.fr \
--to=daniel.de_rauglaudre@inria.fr \
--cc=caml-list@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).