[m-dev.] Equality and pointer equality

[Ralph Becket]

Peter Moulder, Monday, 11 October 2004:
> I believe a common prolog trick is that not only does one first check
> for pointer equality, but also to force them to be pointer-equal if they
> are merely termwise equal.

That's cute.

> Don't know how feasible this is for mercury, just thought I'd mention
> it.

Hmm.  It's conceivable that we could change the pointers in heap cells
this way to remove all but one level of structural equality testing.
That's an interesting idea.

-- Talph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------