[mercury-users] Determinism question

[Peter Schachte]

On Fri, Sep 07, 2001 at 12:49:47AM +1000, Simon Taylor wrote:

> It is slightly imprecise. The description is supposed to mean all possible
> calls which return to the caller (calls which terminate, do not throw
> an exception, and do not cause a fatal runtime error). For predicates
> and functions with determinism erroneous, there are no possible calls
> which return to the caller.

That's a good way to put it.  I like the phrase "which return to the
caller."  I think adding this qualification to the reference manual
description would make it clearer.


-- 
Peter Schachte              We hang the petty thieves and appoint the great
schachte at cs.mu.OZ.AU        ones to public office.
www.cs.mu.oz.au/~schachte/      -- Aesop 
Phone: +61 3 8344 9166      
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------