Version française
Home     About     Download     Resources     Contact us    
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 <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...

      Jacques

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