From: "Maël Primet" <mael.primet@ens.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Modules ocaml
Date: Tue, 21 Feb 2006 16:37:52 +0100 [thread overview]
Message-ID: <20060221153752.GA7986@clipper.ens.fr> (raw)
In-Reply-To: <20060221150832.GA4130@clipper.ens.fr>
Désolé de flooder...
en fait ma question n'avait pas trop de sens a priori, parceque caml n'a
pas moyen à partir du type d'être sûr que l'implémentation va être la
même (ce qui est d'ailleurs l'intérêt des modules), il me semble que je
suis plus ou moins obligé d'utiliser des trucs genre :
module Trans ... = struct
type IdMap = SSADef.IdMap ;
...
end;
et que c'est le plus propre.
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 ?)
next prev parent reply other threads:[~2006-02-21 15:37 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 ` Maël Primet [this message]
2006-02-21 16:03 ` [Caml-list] " Julien Signoles
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=20060221153752.GA7986@clipper.ens.fr \
--to=mael.primet@ens.fr \
--cc=caml-list@inria.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).