From: Christian RINDERKNECHT <rinderkn@hugo.int-evry.fr>
To: caml-list@inria.fr
Subject: Re: additions to standard library?
Date: Fri, 10 Mar 2000 11:51:13 +0100 [thread overview]
Message-ID: <20000310115113.A8816@jones.int-evry.fr> (raw)
In-Reply-To: <200003082229.XAA14210@miss.wu-wien.ac.at>; from Markus Mottl on Wed, Mar 08, 2000 at 11:29:30PM +0100
On Wed, Mar 08, 2000 at 11:29:30PM +0100, Markus Mottl wrote:
>
> [...] another question [...] has been bothering me from
> time to time when using the module system:
> [...] I had to "copy" nearly 100 lines as in:
>
> module Foo = struct
> module B = ...
> type t = B.t
> ...
> let iter = B.iter
> let iteri = B.iteri
> ...
> end
..and don't forget the lack of exception re-binding that moreover
requires a lot of "try with": "try B.iter with B.Exc -> raise Exc"...
--
Christian
-----------------------------------------------------------------------
Christian Rinderknecht Phone +33 (0)1 60 76 44 43
Institut National des Télécommunications Fax +33 (0)1 60 76 47 11
Département Logiciels Réseaux (LOR) WWW
9, Rue Charles Fourier, F-91011 Évry Cedex
next prev parent reply other threads:[~2000-03-10 18:46 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-07 15:24 Markus Mottl
2000-03-08 19:03 ` Jean-Christophe Filliatre
2000-03-08 22:29 ` Markus Mottl
2000-03-10 10:51 ` Christian RINDERKNECHT [this message]
2000-03-09 13:18 ` Thorsten Ohl
2000-03-10 10:04 ` Francisco Valverde Albacete
2000-03-10 20:33 ` Markus Mottl
2000-03-14 23:15 ` Max Skaller
2000-03-11 18:49 ` Brian Rogoff
2000-03-12 1:54 ` Jerome Vouillon
[not found] ` <200003120239.DAA18581@miss.wu-wien.ac.at>
2000-03-14 17:53 ` Pierre Weis
2000-03-10 17:55 Manuel Fahndrich
2000-03-14 17:24 Don Syme
2000-03-21 21:08 ` John Max Skaller
2000-03-21 21:43 Don Syme
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=20000310115113.A8816@jones.int-evry.fr \
--to=rinderkn@hugo.int-evry.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