Re: [Caml-list] camlimages vs. labltk

[Alessandro Baretta <alex@baretta.com>]

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