On Wed, Jul 23, 2003 at 11:35:46AM +0200, Xavier Leroy wrote:

> Finally, as this discussion demonstrates eloquently, there is no
> obviously good solution to the name space management problem.  Yes,
> various things can be done either at the language level or at the
> compiler level to support finer identification and re-naming of
> compilation units.  But I'd rather not settle on a half-baked solution
> to a non-acute problem.

Did anyone read my proposal to allow submodules to be compiled in
separate files?  I didn't see any feedback. Perhaps it was so confusing
that nobody understood it.

There are several other languages/compilers that use a technique like
this.  It probably can be done with very minor changes to the language
(probably no syntax change, just adding the semantics of modules in
separate files).  GHC implements it one way, whereas GNAT implements it
a different way.  I think discussing it could point to a clean
implementation.

The advantage is that there is nothing new added to the language.  I can
place my library as sub-modules of another module, and yet have them as
separate files.

I also disagree that the namespace problem is a minor issue.  I think it
will be a hindrance to use of Ocaml for moderate to large projects.

Dave

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