From: Julien Signoles <signoles@lri.fr>
To: "Maël Primet" <mael.primet@ens.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Modules ocaml
Date: Tue, 21 Feb 2006 17:03:19 +0100 (CET) [thread overview]
Message-ID: <Pine.LNX.4.58.0602211658490.29519@pc9-159> (raw)
In-Reply-To: <20060221153752.GA7986@clipper.ens.fr>
> 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)
prev parent reply other threads:[~2006-02-21 16:03 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-02-21 15:08 Maël Primet
2006-02-21 15:37 ` [Caml-list] " Maël Primet
2006-02-21 16:03 ` Julien Signoles [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.58.0602211658490.29519@pc9-159 \
--to=signoles@lri.fr \
--cc=caml-list@inria.fr \
--cc=mael.primet@ens.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).