From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA20643; Tue, 6 Mar 2001 23:17:38 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 XAA20709 for ; Tue, 6 Mar 2001 23:17:38 +0100 (MET) Received: from c012.sfo.cp.net (c012-h018.c012.sfo.cp.net [209.228.12.166]) by nez-perce.inria.fr (8.11.1/8.10.0) with SMTP id f26MHaD27058 for ; Tue, 6 Mar 2001 23:17:37 +0100 (MET) Received: (cpmta 2528 invoked from network); 6 Mar 2001 14:17:35 -0800 Date: 6 Mar 2001 14:17:35 -0800 Message-ID: <20010306221735.2527.cpmta@c012.sfo.cp.net> X-Sent: 6 Mar 2001 22:17:35 GMT Received: from [206.49.216.243] by mail.altavista.com with HTTP; 06 Mar 2001 14:17:35 PST Content-Type: text/plain Content-Disposition: inline Mime-Version: 1.0 To: andrieu@oxygene.ijm.jussieu.fr From: Arturo Borquez Cc: caml-list@inria.fr X-Mailer: Web Mail 3.9.0.19 Subject: Re: [Caml-list] Comparison of functional values Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 06 March 2001, Olivier Andrieu wrote: > > > Hello list, > > I wanted to build a Set of functional value. But generic equality > can't be used for functional values (raises an exception ...). It is > therefore difficult to build a Set of such values because the Set.Make > functor requires a comparison function and Pervasives.compare relies > on (=). > > Is there a way around this ? I thought I could use physical equality > (wich is OK wrt functional values) but there's no such thing as > `physical inequality'. > > -- > Olivier Andrieu > ------------------- > To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr Hi Olivier: Perhaps this help let a = fun f x -> x = x;; let b = fun f x -> x = x;; (a == b) = true;; -: bool = false not (a == b) = true;; -: bool = true Regards Arturo Borquez Find the best deals on the web at AltaVista Shopping! http://www.shopping.altavista.com ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr