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