On Sun, Jul 20, 2003 at 11:55:49AM +0200, Gerd Stolpmann wrote:
> I have an alternative, the "relational solution". 
> module M = sig
>   attributes
>     author = "Gerd Stolpmann",
>     organization = "ocaml-programming.de",
>     version = "42.5"
> 
>   ... further signature ...
> end
> 
> You can now disambiguate module names by these attributes, e.g.
> 
> open M[author="Gerd Stolpmann"]
> open M[version>="42.0"]

This is a fresh idea. But I get the impression that the essence of it is
to decouple the name of a module from the name of the file that contains
it.  Somebody suggested already an -alias directive for similar
purposes. 

We have to decide whether we want this decoupling to happen at the level
of the language (i.e. new syntax), or only the level of its
implementation (i.e. new compiler flags). Right now, the mapping of
module names to files is a matter of the compiler and mostly invisible
at the language level.  

-- 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