On Thu, 2010-12-16 at 21:13 +0900, Sebastian Fischer wrote:
> (=/=) :: a -> a -> Success
> x =/= y = neg (x =:= y)
This should be
x =/= y = success `butNot` (x =:= y)
or
x =/= y = neg (x=:=) y
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Dez 16 2010 - 13:41:29 CET