[Caml-list] Default module type?

[Christian Sternagel]

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

[Ashish Agarwal]

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.