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
Deriving a polymorphic mapping module
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-12-10 (07:38)
From: Benoit de Boursetty <debourse@e...>
Subject: Re: Deriving a polymorphic mapping module

On Thu, 9 Dec 1999, Mike Spivey wrote:

> Given the functor-based Map module in the standard library of OCaml,
> is there any way of defining polymorphic mappings, like the old module
> provided with Caml Light, that has a polymorphic interface and always
> uses the polymorphic compare function?  If not, then this seems to me
> to be a weakness in the module system.

The same problem has already occured for me, with the Set module.
A change of typing resolves the problem. You can find solutions for Set
and Map at


Benoit de Boursetty.