[mercury-users] Determinism of try/2

[Peter Hawkins]

Hi...

Why does exception.try/2 have determinism cc_multi when called on a det 
predicate? It doesn't look like a committed choice operation to me...

(Incidentally the standard library probably needs a version of try/2 for 
functions as well)

Thanks,
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------