#13648: ApplicativeDo selects "GHC.Base.Monad.return" when actions are used without patterns. -------------------------------------+------------------------------------- Reporter: AaronFriel | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.2.1-rc1 Resolution: worksforme | Keywords: ApplicativeDo Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by josef): * status: new => closed * resolution: => worksforme Comment: I'm not seeing the reported behaviour with the latest GHC. I get the expected type signatures: {{{ *Main> :t testCase1 testCase1 :: (MyFunctor f, MyApplicative f) => f t -> f a -> f () *Main> :t testCase2 testCase2 :: (MyFunctor f, MyApplicative f) => f t -> f a -> f () }}} So I'm closing this ticket. Reopen if you disagree. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13648#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler