[GHC] #8218: Missing instance Monad WrappedMonad
#8218: Missing instance Monad WrappedMonad ------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Add to Control.Applicative the missing instance: {{{ instance Monad m => Monad (WrappedMonad m) where return = WrapMonad . return a >>= f = WrapMonad (unwrapMonad a >>= unwrapMonad . f) }}} Mailing-list discussion here: http://markmail.org/message/jfy7v2dgn7fpzplb -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8218: Missing instance Monad WrappedMonad -------------------------------------+------------------------------------ Reporter: jcpetruzza | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * owner: => monoidal -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8218: Missing instance Monad WrappedMonad -------------------------------------+------------------------------------ Reporter: jcpetruzza | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Krzysztof Gogolewski <krz.gogolewski@…>): In [changeset:c831b4acbff53754e7280d72970d77dd9532fe1d/base]: {{{ #!CommitTicketReference repository="base" revision="c831b4acbff53754e7280d72970d77dd9532fe1d" Add instance Monad (WrappedMonad m) to Control.Applicative (#8218) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8218: Missing instance Monad WrappedMonad -------------------------------------+------------------------------------ Reporter: jcpetruzza | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Krzysztof Gogolewski <krz.gogolewski@…>): In [changeset:ffa99f42e54b21ac09442b3770e3b4c346cd5c70/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="ffa99f42e54b21ac09442b3770e3b4c346cd5c70" Wibble after #8218 The new hidden line in output of tcfail181 is instance Monad m => Monad (Control.Applicative.WrappedMonad m). It might seem weird that Control.Applicative is suggested when not imported, but it's almost certainly a side-effect of AMP and it's harmless. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8218: Missing instance Monad WrappedMonad -------------------------------------+------------------------------------ Reporter: jcpetruzza | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Krzysztof Gogolewski <krz.gogolewski@…>): In [changeset:e2da02d4f5120d6b6365181e9a20f8af93d0f76d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e2da02d4f5120d6b6365181e9a20f8af93d0f76d" Release notes: mention instance Monad (WrappedMonad m) (#8218) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8218: Missing instance Monad WrappedMonad -------------------------------------+------------------------------------ Reporter: jcpetruzza | Owner: monoidal Type: feature request | Status: closed Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * status: new => closed * resolution: => fixed Comment: Done, thanks for the report. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC