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 VAA27653; Wed, 6 Nov 2002 21:36:39 +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 VAA27784 for ; Wed, 6 Nov 2002 21:36:38 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from athlon.baretta.com ([62.211.4.177]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA6Kab517594 for ; Wed, 6 Nov 2002 21:36:37 +0100 (MET) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id 7485627252 for ; Wed, 6 Nov 2002 21:36:20 +0100 (CET) Message-ID: <3DC97D44.8020308@baretta.com> Date: Wed, 06 Nov 2002 21:36:20 +0100 From: Alessandro Baretta Organization: Baretta srl -- www.baretta.com User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: it, en MIME-Version: 1.0 To: Ocaml Subject: Re: [Caml-list] module namespace References: <20021102002456.GC8925@rashko> <20021102223735.GA1237@la.iki.fi> <3DC62ACA.5020001@baretta.com> <200211051027.29699.jeffrey.palmer@acm.org> <3DC8EF32.D79A4A30@ps.uni-sb.de> <20021106141751.GE24776@rashko> <3DC942DE.2050008@baretta.com> <20021106165623.GI24776@rashko> <20021106193013.GC28443@lakeland.eecs.harvard.edu> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Christian Lindig wrote: > On Wed, Nov 06, 2002 at 06:56:23PM +0200, Yurii A. Rashkovskii wrote: > >>>Finally, a really cool, cool, cool feature would be dynamic linking >>>of Ocaml modules from their namespace URL, with static typechecking >>>at compile time against the corresponding .mli files. How do you >>>like this idea, Yurii? >> >>Well, I like and will implement it soon. > > > Dynamic linking suggests that you are linking *.cmo files but the > previous author talked about *.mli files. Anyway, linking binary object > files and hence libraries is a can of worms: files from different > compiler versions are incompatible. Any ideas about this? > > -- Christian This is no big deal really. Compiled modules and compiled interfaces are "signed" by the compiler with an MD5 checksum and with the compiler's own version number. Here's a brief discussion of the topic by Xavier: http://caml.inria.fr/archives/200208/msg00004.html. The runtime system will simply have to throw an exception at runtime if it is unable to locate the appropriate module, with the correct checksum and version number. Runtime exceptions are the price to pay for runtime linking. Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners