[mercury-users] Solver types and \=

Peter Hawkins peter at hawkins.emu.id.au
Fri Aug 12 10:48:37 AEST 2005


Suppose A and B are variables of a solver type with an equality defined. 
Then Mercury appears to transparently convert:
A \= B
not(A = B)

However, since I would imagine most of the time the equality of two 
solver types will post a constraint, and it is illegal to post a 
constraint within a negated context, this behaviour is silly. Perhaps it 
would be better to leave '\=' undefined for solver types, and leave the 
user to define a custom inequality predicate if it makes sense?

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