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
Default module type?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-09-25 (13:02)
From: Ashish Agarwal <agarwal1975@g...>
Subject: Re: [Caml-list] Default module type?
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.

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

> Hi there,
> when I have a file I can use
> include M
> in other *.ml files to include the content of 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:
> Archives:
> Beginner's list:
> Bug reports: