From: Markus Mottl <mottl@miss.wu-wien.ac.at>
To: Judicael Courant <Judicael.Courant@lri.fr>
Cc: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>, caml-list@inria.fr
Subject: Re: [Caml-list] Future of labels, and ideas for library labelling
Date: Mon, 2 Apr 2001 10:50:28 +0200 [thread overview]
Message-ID: <20010402105028.A9943@miss.wu-wien.ac.at> (raw)
In-Reply-To: <3AC83117.7C3AD3C9@lri.fr>; from Judicael.Courant@lri.fr on Mon, Apr 02, 2001 at 09:58:15 +0200
On Mon, 02 Apr 2001, Judicael Courant wrote:
> Jacques Garrigue a écrit :
> > First, concerning the standard library, an idea would be to first
> > remove all labels from the default versions, but then add labelized
> > versions of some specific functions with a different name (adding a
> > "'" for instance).
> > I mostly think of: Pervasives.output', Pervasives.input',
> > Pervasives.really_input', Array.blit', String.blit';
> > and maybe also String.sub', String.fill', Buffer.add_substring',
> > Hashtbl.add', Map.add'.
> So I think this is the Wrong Approach (tm). Instead, you should provide
> an CompatLib (or WithoutLabels) compatibility module for old code and
> a possibly a flag for compiling code with an implicit "open CompatLib".
I second Judicael's proposal. Having to type in those ' is surely annoying
and looks ugly.
Regards,
Markus Mottl
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
-------------------
To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-04-02 8:51 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 [this message]
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
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=20010402105028.A9943@miss.wu-wien.ac.at \
--to=mottl@miss.wu-wien.ac.at \
--cc=Judicael.Courant@lri.fr \
--cc=caml-list@inria.fr \
--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