[mercury-users] Implication

Ian MacLarty maclarty at cs.mu.OZ.AU
Tue Aug 24 12:01:33 AEST 2004


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.


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