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 UAA25551; Wed, 6 Nov 2002 20:30:18 +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 UAA25242 for ; Wed, 6 Nov 2002 20:30:17 +0100 (MET) Received: from lakeland.eecs.harvard.edu (lakeland.eecs.harvard.edu [140.247.62.173]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA6JUG515552 for ; Wed, 6 Nov 2002 20:30:16 +0100 (MET) Received: by lakeland.eecs.harvard.edu (Postfix, from userid 32148) id 6EC1C5EB86; Wed, 6 Nov 2002 14:30:13 -0500 (EST) Date: Wed, 6 Nov 2002 14:30:13 -0500 From: Christian Lindig To: caml-list@inria.fr Subject: Re: [Caml-list] module namespace Message-ID: <20021106193013.GC28443@lakeland.eecs.harvard.edu> Mail-Followup-To: Christian Lindig , caml-list@inria.fr 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> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021106165623.GI24776@rashko> User-Agent: Mutt/1.4i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 ------------------- 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