>>>>> "sl" == Sven LUTHER <luther@dpt-info.u-strasbg.fr> writes:

    sl> Also another related issue would be to be able to append a
    sl> modules path element to libraries when building them. (or
    sl> maybe this is already possible ?).

It's not, without writing something like:

XXX.ml:
module Foo = Foo
module Bar = Bar
module ...

and of course that also leaves Foo and Bar at the top level.

    sl> Thus permitting people to reuse modules names in their
    sl> libraries whitout needing to be carefull with conflict with
    sl> other similar module names.

Count me in voting for this.  Namespace management continues to be
messy in O'Caml.  We need *something* better.  This would make
libraries, anyway, a little nicer.

John.