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 TAA25580; Thu, 8 Nov 2001 19:46:51 +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 TAA25501 for ; Thu, 8 Nov 2001 19:46:50 +0100 (MET) Received: from chruser.svc.tds.net (chruser.svc.tds.net [204.246.1.38]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fA8Ikov19755 for ; Thu, 8 Nov 2001 19:46:50 +0100 (MET) Received: from h192-168-1-103.dedicated.tds.net ([216.170.128.65]) by chruser.svc.tds.net with ESMTP id <20011108184649.QJDW29403.chruser@h192-168-1-103.dedicated.tds.net> for ; Thu, 8 Nov 2001 12:46:49 -0600 Subject: Re: [Caml-list] Some things are more equal than others From: Will Benton To: caml-list@pauillac.inria.fr In-Reply-To: <01110818340400.02726@draco> References: <01110818340400.02726@draco> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Mailer: Evolution/0.99.1+cvs.2001.11.07.16.47 (Preview Release) Date: 08 Nov 2001 12:46:40 -0600 Message-Id: <1005245200.6644.67.camel@h192-168-1-103.dedicated.tds.net> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 2001-11-08 at 12:34, Jim Farrand wrote: > I know that this is almost certainly a case of RTFM, but I can't seem to = find=20 > the right place. 6.7.4 mentions "structural" and "physical" equality, bu= t=20 > doesn't define either. Someone on the list will correct me if I'm wrong, but to clarify your guess (which seems correct to me): Physical equality is a pointer comparison -- i.e. "do these objects occupy the same memory location". I have assumed that, by "Structural equality", they mean *shallow* equivalence -- i.e. "do these objects have the same structure, but not necessarily the same content". Is this correct? wb --=20 Will Benton | "Nicht wie die Welt ist, ist das Mystische,=20 willb@acm.org | sondern da=DF sie ist." --L. Wittgenstein **GnuPG public key: http://www.cs.wisc.edu/~willb/pubkey ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr