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 QAA07415 for caml-redistribution; Fri, 27 Mar 1998 16:34:39 +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 PAA07692 for ; Fri, 27 Mar 1998 15:33:19 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id PAA27003 for ; Fri, 27 Mar 1998 15:33:17 +0100 (MET) Received: from vedette.ens.fr (vedette.ens.fr [129.199.130.1]) by nef.ens.fr (8.8.8/jtpda-5.1) with ESMTP id PAA09446 ; Fri, 27 Mar 1998 15:33:17 +0100 (MET) Received: from localhost (vouillon@localhost) by vedette.ens.fr (8.8.7/jb-1.1) id PAA04372 ; Fri, 27 Mar 1998 15:33:14 +0100 (MET) X-Authentication-Warning: vedette.ens.fr: vouillon owned process doing -bs Date: Fri, 27 Mar 1998 15:33:13 +0100 (MET) From: Jerome Vouillon X-Sender: vouillon@vedette To: Sorin Stratulat cc: caml-list@inria.fr Subject: Re: operational semantics of = for objects In-Reply-To: <351A9141.3D52@loria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Thu, 26 Mar 1998, Sorin Stratulat wrote: > After comparing the results of the code (see below) executed on > different versions of OCAML (1.05 and 1.07), I would like to know if > anybody can explain me how the equality operator works for objects (if > it is possible in both versions). As I understood from a previous > message, overloading the operators is not supported yet. In Ocaml 1.05, the equality operator did not work reliably for objects. Indeed, objects was not treated specially. So, the operator structurally compared the structures of the two objects and in some cases tried to compare two methods and as a consequence failed. In Ocaml 1.07, two objects are equals iff they are physically equals. -- Jerome Vouillon