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