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: Issac Trotts <ijtrotts@n...>
Subject: Re: [Caml-list] type issues with modules
On Wed, Nov 12, 2003 at 10:12:11AM +0900, Jacques Garrigue wrote:
> 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...

I too would like to see this added.  Out of curiousity, why was it 
rejected?

-- 
Issac Trotts
Programmer
Center for Neuroscience
University of California, Davis 

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