+1 to the type class hierarchy enhancements +1 to the {-# MINIMAL #-} pragma being added to GHC (and even to Haskell) in conjunction with this change to assuage concerns. And color *that* bikeshed any way you like; just give me the feature. Well thought out, well presented. Let's move to the next phase, well executed! -- Dan Burton On Thu, May 23, 2013 at 1:25 PM, Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Thu, 23 May 2013, Nicolas Trangez wrote:
On Thu, 2013-05-23 at 21:56 +0200, Henning Thielemann wrote:
I am only concerned with this one:
- Promote `join` into the Monad typeclass
Currently, when I forget to implement the two essential Monad methods 'return' and '>>=' in a Monad instance, I get a warning. However with the mutual implementations of 'join' and '>>=' I do not get a warning but an infinite loop. Similarly, I already had nasty bugs with (a-b) defaulting to (a + negate b) and (negate a) defaulting to (0-a).
http://hackage.haskell.org/**trac/ghc/ticket/7633http://hackage.haskell.org/trac/ghc/ticket/7633might help.
Then I withdraw my concerns.
______________________________**_________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/**mailman/listinfo/librarieshttp://www.haskell.org/mailman/listinfo/libraries