it strikes me that a cmi file can be thought of as comprising a module 
type, and the compiler might be extended to allow for Richard's usage, 
which imho is a natural one.
i believe this is in the wish list db from way back and not dismissed 
or otherwise classified.

chris

> 
> Note that this is a module type, not a module.  You could put the
> module type (interface) of "Analysis_p" into the submodule "S" of the
> extra-file "analysis_p_intf.mli". Use it then to restrict the interface
> of "Analysis_p" in "analysis_p.mli", and include it in "analysis.mli"
> using "include Analysis_p_intf.S".
> 
> Regards,
> Markus
> 

-- 
thanks.
- chris

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