From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 720BBBBC1 for ; Wed, 30 Apr 2008 09:51:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoEAAP/BF0jBMHhLomdsb2JhbACRUQEBAQEBAQcFBgkRmwg X-IronPort-AV: E=Sophos;i="4.25,727,1199660400"; d="asc'?scan'208";a="25686678" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Apr 2008 09:51:33 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id m3U7owFw003065 ; Wed, 30 Apr 2008 09:50:58 +0200 Received: from d45.lama.univ-savoie.fr (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id m3U7owAg015351 ; Wed, 30 Apr 2008 09:50:59 +0200 Message-ID: <481824E4.1020109@univ-savoie.fr> Date: Wed, 30 Apr 2008 09:51:00 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.12 (X11/20080227) MIME-Version: 1.0 To: Jacques Garrigue Cc: ecc@cmu.edu, caml-list@yquem.inria.fr Subject: Re: [Caml-list] Invoking the standard library ? References: <1209479205.11285.15.camel@Blefuscu> <20080429181958.GB18818@stratocaster.home> <20080430.090541.77051652.garrigue@math.nagoya-u.ac.jp> In-Reply-To: <20080430.090541.77051652.garrigue@math.nagoya-u.ac.jp> X-Enigmail-Version: 0.95.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig2A8A3AAF881C7C2951079A4B" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 0200,:01 bindings:01 toplevel:01 ocaml:01 mli:01 chablais:01 73376:01 univ-savoie:01 wrote:01 lama:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig2A8A3AAF881C7C2951079A4B Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Jacques Garrigue a =E9crit : > From: Eric Cooper > Subject: Re: [Caml-list] Invoking the standard library ? > Date: Tue, 29 Apr 2008 14:19:58 -0400 >=20 >> On Tue, Apr 29, 2008 at 04:26:45PM +0200, David Teller wrote: >>> modules String, Stream, etc. For this, I need to include the original= >>> module, as provided in the standard library, and add stuff. Now, the >>> trick is that I'd like to keep the same name as the original module. >> My first thought was that the usual shadowing of bindings could >> be used, and indeed the following works fine in the toplevel: >> A very simple solution (that I use for PML) would be to change ocaml so that a directory in the path is considered as a module whose fields ar= e the modules and directory inside it ... This allows two files to have the= same name and depending if you open or not the module/directory containing an exten= ded string library, you can access by open String the original or the extended module. You can even decide that it is possible to assign a .mli file to a direct= ory to hide some modules inside it ... Christophe --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enig2A8A3AAF881C7C2951079A4B Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFIGCTli9jr/RgYAS4RAvXVAKCaD8srHdCwVoXthdqYOexgP7BS+gCffO6+ qO604FXjwsrsYEi97oKCOQw= =mzGp -----END PGP SIGNATURE----- --------------enig2A8A3AAF881C7C2951079A4B--