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
[Caml-list] including signature (mli) in struct (ml)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Shaddin Doghmi <shaddin@m...>
Subject: [Caml-list] including signature (mli) in struct (ml)
let us say i have the following functor in

module Make(In:sig blah end):Aout =blahblah

and the following functor in, which takes as input Aout:

module Make(In:Aout):Bout = blahblah

so basically, i have to be able to refer to Aout in . what im 
having to do is define Aout in using:

module type Aout = sig blahblah end

and then repeating that definition in a.mli in order to export Aout so i 
can refer to it in

this redundancy can be annoying, is there a way to declare Aout only 
once and still be able to refer to it in ? How about including 
a.mli in somehow? something along the lines of include in C would 
do it, where including a.h in a.c would make it unnecessary to define 
something in both...

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: