#8003: Add missing Applicative/Alternative instances (AMP phase 1) -----------------------------+---------------------------------------------- Reporter: quchen | Owner: Type: task | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Add Functor/Applicative/Alternative instances to GHC's source where they are missing to fit the new hierarchy, namely `Functor => Applicative => Monad` and `(Alternative, Monad) => MonadPlus`. (#4834 did something similar for a past GHC version, which is maybe helpful here.) This is part of phase 1 of the Applicative/Monad proposal (AMP), as discussed on the mailing lists [1]; a more detailed description of the AMP is available on the Wiki [2]. [1]: [http://article.gmane.org/gmane.comp.lang.haskell.libraries/19482] [2]: [http://www.haskell.org/haskellwiki/Functor-Applicative- Monad_Proposal] -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8003 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler