From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA14654 for caml-redistribution; Fri, 10 Dec 1999 08:38:58 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA09873 for ; Thu, 9 Dec 1999 22:50:30 +0100 (MET) Received: from enst.enst.fr (enst.enst.fr [137.194.2.16]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA10253 for ; Thu, 9 Dec 1999 22:50:28 +0100 (MET) Received: from email.enst.fr (muse.enst.fr [137.194.2.33]) by enst.enst.fr (8.9.1a/8.9.1) with ESMTP id WAA20751; Thu, 9 Dec 1999 22:50:17 +0100 (MET) Received: from young.enst.fr (debourse@young.enst.fr [137.194.34.13]) by email.enst.fr (8.9.3/8.9.3) with ESMTP id WAA03059; Thu, 9 Dec 1999 22:50:17 +0100 (MET) Received: from localhost (debourse@localhost) by young.enst.fr (8.8.8+Sun/8.8.8) with SMTP id WAA11453; Thu, 9 Dec 1999 22:50:16 +0100 (MET) Date: Thu, 9 Dec 1999 22:50:16 +0100 (MET) From: Benoit de Boursetty Reply-To: Benoit.de-Boursetty@polytechnique.org To: Mike Spivey cc: caml-list@inria.fr Subject: Re: Deriving a polymorphic mapping module In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis 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.