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] type issues with modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] type issues with modules
From: Damien <>

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


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