Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] opaque polymorphism
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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:
type ('a, 'b, 'c) t = { ... }

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
Bug reports:  FAQ:
To unsubscribe, mail  Archives: