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 NAA05266; Mon, 23 Apr 2001 13:53:01 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA05445 for caml-list@pauillac.inria.fr; Mon, 23 Apr 2001 13:53:00 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA15894 for ; Sat, 21 Apr 2001 17:24:13 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3LFOCv16483 for ; Sat, 21 Apr 2001 17:24:12 +0200 (MET DST) Received: from basilic.ens.fr (basilic.ens.fr [129.199.99.48]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id f3LFOBq50084 ; Sat, 21 Apr 2001 17:24:11 +0200 (CEST) Received: from localhost by basilic.ens.fr (8.9.2/jb-1.1) id RAA26648 ; Sat, 21 Apr 2001 17:24:11 +0200 (MET DST) X-Authentication-Warning: basilic.ens.fr: monniaux owned process doing -bs Date: Sat, 21 Apr 2001 17:24:11 +0200 (MET DST) From: David Monniaux X-Sender: monniaux@basilic.ens.fr To: Georges Brun-Cottan cc: caml-list@inria.fr Subject: Re: [Caml-list] equality over functional value In-Reply-To: <200104202012.QAA09326@lub0127.lss.emc.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 20 Apr 2001, Georges Brun-Cottan wrote: > That is 'a=a' does not return the expected exception. Actually it I bet that the comparison function tests the equality of pointers (a==a) before attempting anything else, including checking that the values are not closures. David Monniaux http://www.di.ens.fr/~monniaux Laboratoire d'informatique de l'École Normale Supérieure, Paris, France ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr