Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Why not 'include' in an .mli file?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christopher Quinn <cq@h...>
Subject: Re: [Caml-list] Why not 'include' in an .mli file?
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.


> 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

- chris

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: