That is correct. You have to define a module type within an ml file, and then include that. See the following thread on the beginner's list.

http://tech.groups.yahoo.com/group/ocaml_beginners/message/8992

However, I never did find out why. Why does the compiler not create a module type MySig from an mli file mySig.mli? This would be very convenient.

On Thu, Sep 25, 2008 at 8:19 AM, Christian Sternagel <christian.sternagel@uibk.ac.at> wrote:

Hi there,

when I have a file m.ml I can use

include M

in other *.ml files to include the content of m.ml. However, the same functionality for module types seems not to exist. I have an interface file m.mli and want to use

include M

within another *.mli file (so that I only have to write the documentation for module M once, namely in m.mli). But there is no
module type M. Does anyone have the same problem and/or have a solution?

cheers

christian sternagel

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs