[mercury-users] Implication

[Ian MacLarty]

Hi,

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 often find I'm using "if A then B else true" when I need some state 
variable modified when A is true, but left unmodified when A is false.  
Writing A => B seems much more elegant, but of course I can't do this, 
because then I get errors about trying to bind stuff inside a negation.

Ian.

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