Date: Thu, 9 Dec 1999 22:50:16 +0100 (MET)
From: Benoit de Boursetty <debourse@email.enst.fr>
To: Mike Spivey <mike@comlab.ox.ac.uk>
Subject: Re: Deriving a polymorphic mapping module
In-Reply-To: <E11w1cA-0001uZ-00@spivey.oriel.ox.ac.uk>
Hi,
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
http://www.stud.enst.fr/~debourse/caml.html
Benoit de Boursetty.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:29 MET