[mercury-users] Implication

[Ralph Becket]

> In the reference manual it says that A => B is converted to not (A, not 
> B).  Why isn't it converted to "if A then B else true"?

I think this is a scheduling issue.  IIRC, in the if-then-else, A will
always be scheduled before B.  This isn't the case with conjunction, so
we pick it as the more general option.

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