+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/7633 might help.

Then I withdraw my concerns.

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries