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