On 11/19/2008 12:49 AM, Jon Harrop wrote:
> Perhaps that could be solved with extensive Camlp4 hacking to rename the
> previous modules (even coming from an "include") to avoid the clash?

I don't think so. It seems you need type information.

> That brings its own problems, of course. You no longer have a real hierarchy
> so you cannot do anything at a given depth in the hierarchy, e.g. apply
> mid-level module to a functor.

Jon, come on. Is it a joke or do you seriously think that not being able 
to apply a functor to a subtree of the hierarchy matters in any way in 
this context?


-- Alain