Hello.

Imagine I have a file named a.ml containing

> module C = struct
>   include B
> end

and a file named b.ml containing the code

> let f x = x + 1

When I compile everything to .cmo files, I cannot load a.cmo from the 
toplevel without loading b.cmo beforehand.

Is there a way to make the 'include B' statement to include the code of 
the B module in the C submodule directly so that it is not required to 
load the b.cmo file before loading the a.cmo file?

That would be extremely useful to me...

All the best,

-- 
      Guillaume Yziquel
http://yziquel.homelinux.org/