22 Jan
2016
22 Jan
'16
12:24 p.m.
Please don't change the ordering on Bool---it's been like that forever and
it might lead to extremely subtle bugs that won't be caught by the compiler.
I am ambivalent about adding an `implies` function as long as it is not
automatically in scope. However, can anyone give some examples of using
this in your code? All the ones I could think of would seem easier to
follow when written with `if-then-else` or a guard.
-Iavor
On Thu, Jan 21, 2016 at 11:28 AM, Felipe Lessa
+1 for either Data.Bool.implies or Data.Bool.(==>).
+1 for right-associativity.
Cheers,
-- Felipe.
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries