From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA24981 for caml-redistribution@pauillac.inria.fr; Fri, 10 Mar 2000 19:46:46 +0100 (MET) Resent-Message-Id: <200003101846.TAA24981@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 LAA30240 for ; Fri, 10 Mar 2000 11:56:06 +0100 (MET) Received: from hugo.int-evry.fr (hugo.int-evry.fr [157.159.100.81]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA12504 for ; Fri, 10 Mar 2000 11:56:05 +0100 (MET) Received: from jones.int-evry.fr (jones [157.159.100.35]) by hugo.int-evry.fr (8.8.8/jtpda-5.3) with ESMTP id LAA03875 for ; Fri, 10 Mar 2000 11:55:59 +0100 (MET) Received: (rinderkn@localhost) by jones.int-evry.fr (8.8.8/8.6.4) id LAA08935 for caml-list@inria.fr; Fri, 10 Mar 2000 11:51:13 +0100 (MET) Date: Fri, 10 Mar 2000 11:51:13 +0100 From: Christian RINDERKNECHT To: caml-list@inria.fr Subject: Re: additions to standard library? Message-ID: <20000310115113.A8816@jones.int-evry.fr> References: <14534.41960.928650.590869@cylinder.csl.sri.com> <200003082229.XAA14210@miss.wu-wien.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.95.5i In-Reply-To: <200003082229.XAA14210@miss.wu-wien.ac.at>; from Markus Mottl on Wed, Mar 08, 2000 at 11:29:30PM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Fri, 10 Mar 2000 19:46:46 +0100 Resent-To: caml-redistribution@pauillac.inria.fr 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