[m-dev.] Equality and pointer equality

[Peter Moulder]

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.  (There's a slight advantage with
reference-counted implementations in that one knows which one to change
to work towards all instances having the same pointer.)

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

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