[mercury-users] Solver types and \=

[Peter Hawkins]

Hi...

Suppose A and B are variables of a solver type with an equality defined. 
Then Mercury appears to transparently convert:
A \= B
to:
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?

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