[mercury-users] equality functions

[Michael Day]

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?

Michael
	

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