From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA09267 for caml-redistribution; Fri, 19 Mar 1999 19:24:31 +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 MAA12010 for ; Thu, 18 Mar 1999 12:03:48 +0100 (MET) Received: from yeti.sobel ([193.250.225.120]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id MAA25395 for ; Thu, 18 Mar 1999 12:03:47 +0100 (MET) Received: from wanadoo.fr (bouyssou@localhost [127.0.0.1]) by yeti.sobel (8.8.7/8.8.7) with ESMTP id MAA13525 for ; Thu, 18 Mar 1999 12:04:28 +0100 Sender: weis Message-ID: <36F0DDBB.8EA36428@wanadoo.fr> Date: Thu, 18 Mar 1999 12:04:28 +0100 From: Olivier Bouyssou X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.0.34 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: operational semantics of == for methods Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Here a example : Objective Caml version 2.02 # class test () = object method f () = () end;; class test : unit -> object method f : unit -> unit end # let o = new test () ;; val o : test = # let f = o#f ;; val f : unit -> unit = # f == o#f ;; - : bool = false Why the last expression return false ? Thanks in advance. -- Olivier Bouyssou (F1NXH), Sobel olivier.bouyssou@wanadoo.fr 22 rue paul verlaine 31570 st Foy d'Aigrefeuille Tel : +33.5.62.18.81.82 Fax : +33.4.68.94.54.16