[mercury-users] Semidet functions

Ralph Becket rbeck at microsoft.com
Fri Nov 19 01:29:50 AEDT 1999


A while back I went through the standard library adding function versions
of all det predicates with a single output.

Question: should we do the same for semidet predicates?  Personally I quite
like the style and certainly make use of semidet functions in my code;
however, I'd like to know how people feel about it as a policy.  If there's
enough support for the idea I'll try to get round to adding the new
functions.

Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the users mailing list