[m-dev.] Equality and pointer equality

[Peter Ross]

Zoltan Somogyi wrote:

>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.
>  
>
But wouldn't be able to work out when it is safe to do this by using the 
mode system, and calling a version of the unification predicate which 
did this only when it was safe to do so?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------