
24 Jun
2008
24 Jun
'08
11:43 a.m.
Could someone explain why it breaks H98 compatibility? Control.Applicative alone is at least marked "portable". Thanks Christian Ross Paterson wrote:
On Tue, Jun 24, 2008 at 02:15:19AM -0700, Ashley Yakeley wrote:
http://hackage.haskell.org/trac/ghc/ticket/2392
Make Applicative (in Control.Applicative) a superclass of Monad (in Control.Monad). Rename members of Applicative and other functions, to avoid unnecessary duplication.
The big problem with this is that it would break compatibility with Haskell 98, and any existing program that defines a Monad instance.