Re: Proposal: Applicative => Monad: Call for consensus

On 02/01/2011 19:14, David Menendez wrote:

On Sun, Jan 2, 2011 at 7:04 AM, John Smith wrote:

...

The patches attached to http://hackage.haskell.org/trac/ghc/ticket/4834 make Applicative a superclass of Monad. Default definitions are provided for backwards compatibility.

Monad is defined in the Haskell 98 and Haskell 2010 reports. How are you planning to maintain compatibility with them?

The Haskell' process expects proposals to have already been implemented, so I'll propose it there after acceptance by GHC. If the patches are accepted for HEAD, this may be adequate for proposing towards the next Haskell report, so GHC and the report will only be out of sync for a minimal time.