From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15766; Thu, 22 Mar 2001 12:57:00 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA15685 for ; Thu, 22 Mar 2001 12:57:00 +0100 (MET) Received: from mrwall.kal.com (mrwall.kal.com [194.193.14.236]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f2MBuxb18428 for ; Thu, 22 Mar 2001 12:56:59 +0100 (MET) Received: from mrwall.kal.com [194.193.14.236] (HELO localhost) by mrwall.kal.com (AltaVista Mail V2.0J/2.0J BL25J listener) id 0000_0045_3ab9_e906_fbb9; Thu, 22 Mar 2001 11:59:02 +0000 Subject: RE: [Caml-list] recursive modules redux, & interface files MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Thu, 22 Mar 2001 11:55:58 -0000 content-class: urn:content-classes:message X-MimeOLE: Produced By Microsoft Exchange V6.0.4417.0 Message-ID: Thread-Topic: [Caml-list] recursive modules redux, & interface files Thread-Index: AcCyxRNvsePg99+5Rf2GldXsL370IwAAdhTg From: "Dave Berry" To: "Markus Mottl" , "John Max Skaller" Cc: "Chris Hecker" , Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Pardon me if this is a dumb question, but what is the difference between "include" and "open"? -----Original Message----- From: Markus Mottl [mailto:mottl@miss.wu-wien.ac.at] Sent: Thursday, March 22, 2001 11:41 To: John Max Skaller Cc: Chris Hecker; caml-list@inria.fr Subject: Re: [Caml-list] recursive modules redux, & interface files If you want even more hardcore moduling, you might be interested in trying out the new "include"-keyword for structures (my favourite new language extension! Thanks!) with the tricks above. You can do tremendous things with it, like overriding specific functions of modules at runtime, etc., with hardly any effort. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr