Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Some things are more equal than others
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Will Benton <willb@c...>
Subject: Re: [Caml-list] Some things are more equal than others
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 
> the right place.  6.7.4 mentions "structural" and "physical" equality, but 
> 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

-- 
Will Benton      | "Nicht wie die Welt ist, ist das Mystische, 
willb@acm.org    |  sondern daß 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