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 RAA11743; Tue, 11 Nov 2003 17:47:13 +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 RAA11711 for ; Tue, 11 Nov 2003 17:47:12 +0100 (MET) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hABGlA112998 for ; Tue, 11 Nov 2003 17:47:11 +0100 (MET) Received: from davidb by mail.davidb.org with local (Exim 3.36 #1 (Debian)) id 1AJbfM-0000yS-00; Tue, 11 Nov 2003 08:46:56 -0800 Date: Tue, 11 Nov 2003 08:46:56 -0800 From: David Brown To: Oleg Trott Cc: Jacques Garrigue , caml-list@inria.fr Subject: Re: [Caml-list] Strange physical equality behavior Message-ID: <20031111164656.GA3708@davidb.org> References: <200311091334.13734.oleg_trott@columbia.edu> <20031110103330C.garrigue@kurims.kyoto-u.ac.jp> <200311110148.22096.oleg_trott@columbia.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200311110148.22096.oleg_trott@columbia.edu> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 oleg:01 jacques:01 equality:01 mutable:01 mutable:01 int:01 garrigue:01 nov:01 dave:03 wrote:03 wrote:03 behavior:03 data:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Nov 11, 2003 at 01:48:22AM -0500, Oleg Trott wrote: > On Sunday 09 November 2003 08:33 pm, Jacques Garrigue wrote: > > On mutable structures, [e1 == e2] is true if and only if > > physical modification of [e1] also affects [e2]. > > By the way, either "mutable structures" or "physical modification" need to be > clarified, because if (int ref list) is "mutable" then the above is wrong: If you take structure to mean a single data type, rather than a more complicated data structure, then it is true. Dave ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners