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 WAA20150; Tue, 6 Mar 2001 22:52:32 +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 WAA19898 for ; Tue, 6 Mar 2001 22:52:31 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f26LqVD26798 for ; Tue, 6 Mar 2001 22:52:31 +0100 (MET) Received: from akasha.ijm.jussieu.fr (akasha.ijm.jussieu.fr [134.157.173.57]) by shiva.jussieu.fr (8.10.0/jtpda-5.3.3) with ESMTP id f26LqUf00604 for ; Tue, 6 Mar 2001 22:52:30 +0100 (CET) Received: (from andrieu@localhost) by akasha.ijm.jussieu.fr (8.9.3/8.9.3) id WAA20101; Tue, 6 Mar 2001 22:51:54 +0100 From: Olivier Andrieu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15013.23546.425793.7568@akasha.ijm.jussieu.fr> Date: Tue, 6 Mar 2001 22:51:54 +0100 To: caml-list@inria.fr Subject: [Caml-list] Comparison of functional values X-Mailer: VM 6.90 under Emacs 20.7.1 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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