* [Caml-list] module constraints
@ 2002-02-08 21:34 David Monniaux
0 siblings, 0 replies; only message in thread
From: David Monniaux @ 2002-02-08 21:34 UTC (permalink / raw)
To: Liste CAML
Hi,
I have a module type with two types t and u:
module type FOO = sig type t type u end
How can I restrict this module type to BAR with the constraint that
t=u option ?
module type BAR = FOO with type t=u option
does not work because u is not bound.
[Note: this is for module types far more complex, but the crux of the
matter is summarized above.]
David Monniaux http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2002-02-08 21:34 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-02-08 21:34 [Caml-list] module constraints David Monniaux
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox