[mercury-users] Loop optimisation and predicate specialisation and stuff.

Peter Moulder reiter at netspace.net.au
Mon Dec 22 19:25:25 AEDT 1997

Andrew Bromage <bromage at cs.mu.OZ.AU> writes:

> however there is a semantic "gotcha".
> Suppose:
> 	f(A) = 100/A.

Yes, but this is just a quality-of-implementation issue.
Implementations are allowed to be incomplete 
(*see (mercury_ref)Semantics::, and Fergus' (?) recent post describing 
the semantics of error/1).

For example, the current Mercury implementation doesn't terminate the
program with error for


but does for


whereas a more complete implementation wouldn't terminate for either.

(The following has been described as the most redundant phrase on
usenet, but: please correct me if I'm wrong.)


More information about the users mailing list