English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2001-09-07 (18:35)
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: 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