#4834: New Functor => Applicative => Monad Hierarchy -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: task | Status: new Priority: high | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: | Keywords: report- Operating System: Unknown/Multiple | impact Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #8004 | Test Case: | Blocking: | Differential Revisions: Phab:D13 -------------------------------------+------------------------------------- Changes (by hvr): * status: closed => new * cc: ekmett, thoughtpolice, hvr (added) * type: proposal => task * differential: => Phab:D13 * related: => #8004 * priority: normal => high * milestone: Not GHC => 7.10.1 * keywords: => report-impact * resolution: invalid => Comment: Reusing this old AMP ticket so I don't have to create a new one to track AMP progress; AMP phase 1 was covered by #8004, while this ticket is about phase 3 (actually implementing the change) The AMP was implemented in a single monolithic commit, followed by AMP- related follow-up patches fixing up things as well as generalising some type signatures from Monad to Applicative: - d94de87252d0fe2ae97341d186b03a2fbe136b04 ("Make Applicative a superclass of Monad") - 65f887e1a0d864526f6a2609a3afc2c151c25e38 ("base: Add some notes about the default impl of `(>>)`") - 6477b3dc058a92b825ef30d98797603b4a44a001 ("testsuite: AMPify ioprof.hs") - 29e50da4c274eba0e444ce4b95294a76832908f2 ("testsuite: AMPify T3001-2") - f636faa7b2b7fc1d0663f994ad08f365d39a746d ("Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA`") - a07ce1654ac5b8033f2daf9270c6e182415b69ca ("Generalise `Control.Monad.{when,unless,guard}`") - bf3329104c971c84ab178f3ded88254b9594f9cc ("Generalise `guard` for real this time") - a1b539142d7853bc02c36f1b3e8d489a9864f0e9 ("testsuite: fix T5751 build failure (AMP)") - b30b185e5c653dfed948d71ce2336be70be3b418 ("testsuite: fix T1735_Help/State.hs build failure (AMP)") - abba3812e657a5267bba406d2c877c1cb5d978f9 ("Improve Applicative definitions") -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4834#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler