[m-dev.] Equality and pointer equality

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Oct 12 13:11:30 AEST 2004

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.

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

More information about the developers mailing list