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
Modules ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-02-21 (16:03)
From: Julien Signoles <signoles@l...>
Subject: Re: [Caml-list] Modules ocaml

> module Trans ... = struct
> type IdMap = SSADef.IdMap ;
> ...
> end;

> Ceci dit, il n'y a vraiment pas moyen de dire à caml que deux modules
> sont les mêmes ? (lui forcer un peu la patte ?)

Si j'ai bien compris la question et en supposant qu'il existe une
signature TRANS déclarant un module IdMap de même signature (au plus) que
celle de SSADef.IdMap :

module Trans : TRANS with module IdMap = SSADef.IdMap = struct
  module IdMap = SSADef.IdMap
  ...
end


Julien
-- 
mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)