Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2001-11-08 (18:46)
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?


Will Benton      | "Nicht wie die Welt ist, ist das Mystische,    |  sondern daß sie ist." --L. Wittgenstein
**GnuPG public key:

Bug reports:  FAQ:
To unsubscribe, mail  Archives: