[m-rev.] diff: Define equality for version_hash_tables.

[Paul Bone]

On Tue, May 28, 2013 at 10:51:56AM +1000, Peter Wang wrote:
> On Mon, 27 May 2013 18:26:31 +1000, Paul Bone <paul at bone.id.au> wrote:
> > +:- semipure pred pointer_equals(T::in, T::in) is semidet.
> > +:- pragma inline(pointer_equals/2).
> 
> pointer_equals is pure.
> 

Okay, I think you're right.  It's tricky because a change to either pointer
could affect the result, however a change to one of the pointers is a change
to data and therefore it's effect orght to be visible to Mercury.  I'll make
it pure.


-- 
Paul Bone
http://www.bone.id.au