[mercury-users] equality functions

Michael Day mcda at students.cs.mu.oz.au
Mon Mar 20 11:27:34 AEDT 2000

Is it useful (or possible) to define functions such as:

:- func '<'(T, T) = bool.
:- func '='(T, T) = bool.

and so forth?

Would this cause awful conflicts with their current use as predicates, or
would their use be unambiguous?

I tried to construct a more general "succeeded" function that takes a
predicate and returns bool, but was unable to get the modes correct. Is
such a predicate even possible?


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