English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2003-11-12 (01:12)
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...


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