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 MAA20670; Sun, 30 Mar 2003 12:20:58 +0200 (MET DST) 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 MAA23792 for ; Sun, 30 Mar 2003 12:20:57 +0200 (MET DST) Received: from athlon.baretta.com ([213.255.109.130]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2UAKu503694; Sun, 30 Mar 2003 12:20:57 +0200 (MET DST) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id 487382724D; Sun, 30 Mar 2003 11:26:31 +0200 (CEST) Message-ID: <3E86B847.1060903@baretta.com> Date: Sun, 30 Mar 2003 11:26:31 +0200 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: Damien Doligez Cc: caml-list@inria.fr Subject: Re: [Caml-list] camlimages vs. labltk References: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; alessandro:01 baretta:01 caml-list:01 camlimages:01 labltk:01 damien:01 hecker:01 renaming:01 mylib:01 coexist:01 mangling:01 ocamlc:01 chris:01 alex:01 clash:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Damien Doligez wrote: > On Thursday, March 27, 2003, at 08:46 PM, Chris Hecker wrote: > >> Are there any other options? Did I get all of that right? > > > How about a solution based on renaming ? Let's say I have two modules > from different programmers, both named "Mylib", and I want to use them > in my program. I cannot because the module system does not allow two > different modules with the same name to coexist. The obvious solution > is a tool that renames one of the Mylib modules. Then I can use both > modules in one program. I glad to see there is some convergence towards a namespace scheme for the name clash problem. Module renaming is akin to the namespacing scheme I proposed earlier, based on a compile time or link time module name mangling. There are minor syntactic issues to be addressed in order to allow user code to explicitly specify the namespace name used at compile time or link time; however, a means has to be provided to allow for automatic build time namespace resolution, for example by adding a -N option to ocamlc, akin to -I. -I allows us to add a directory to the filesystem search path used by ocamlc. -N could add a namespace to a namespace search path. The namespace search path could then be searched sequentially for matching module names. 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