[mercury-users] determinism of /

[Stefan Karrmann]

Why is has division the mode det in the module int?

div(5,0) cannot succeed.

Okay, this is erroneous, but can't this be described
more explicitly?

Is it possible to define an instance, like this:

:- inst nonZero == bound (X), X /= 0.
:- inst isZero == bound (X), X = 0.
:- mode nonZero == nonZero >> nonZero.
:- mode isZero == isZero >> isZero.

:- mode div (in, nonZero) = out is det.
:- mode div (in, isZero) = out is failure.


-- 
Stefan Karrmann
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------