[m-dev.] Equality and pointer equality

[Zoltan Somogyi]

On 12-Oct-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> 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.

It may be cute, but it wouldn't work, because it would break any promises
of uniqueness.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------