Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> writes:

> From: Damien <Damien.Pous@ens-lyon.fr>
>
>> But I think that giving a name to the signature of Mod1 (Sig_mod1) could
>> be useful :
>> 
>> <<
>> 	module type MOD1 : sig <mod1.mli> end
>> 	module Mod1 : MOD1 = struct <mod1.ml> end
>> >>
>> 
>> Especially when hand-packing some modules : 
>> "ocamlc -pack" checks the packed cmo against an optional interface file,
>> but the latter is rather boring to write, since one has to copy&paste
>> the content of each packed interface.
>
> I have already suggested in the past
>
>   module type Mod1 = sig <mod1.mli> end
>   module Mod1 : Mod1 = struct <mod1.ml> end
>
> since modules and module types have independent name spaces.
> But it was not accepted.
> Maybe if more people insist, it will be added some day...

It would be interesting indeed.

-- 
Rémi Vanicat

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners