Date: From: Charles Martin <joelisp@y...> Subject: [Caml-list] opaque polymorphism

A feature that would be nice would be to hide the polymorphism of a type in a module signature: foo.ml: type ('a, 'b, 'c) t = { ... } foo.mli: type ('a, 'c) t Thus, clients of Foo would be unaware of the polymorphism in 'b. This would require that type variables in signatures and structures be matched on their names, obviously. Can any of the type experts out there tell me if this is possible? __________________________________________________ Do You Yahoo!? Get email alerts & NEW webcam video instant messaging with Yahoo! Messenger http://im.yahoo.com ------------------- 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