Default module type?

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

Re: [Caml-list] Default module type?

[Ashish Agarwal]

[-- Attachment #1: Type: text/plain, Size: 1260 bytes --]

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
>

[-- Attachment #2: Type: text/html, Size: 2088 bytes --]