#7905: Type checker barfs on nonsensical expression ---------------------------------+------------------------------------------ Reporter: jpaugh | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: fixed | Keywords: Os: Linux | Architecture: x86 Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed Comment: HEAD is happy: {{{ T7905.hs:18:5: Couldn't match type (->) s0 with [Char] Expected type: [Char] -> ZT IO () Actual type: t0 ((->) s0) (ZT IO ()) The function lift is applied to two arguments, but its type (s0 -> ZT IO ()) -> t0 ((->) s0) (ZT IO ()) has only one In the expression: lift gPrint "a" In an equation for d : d = lift gPrint "a" T7905.hs:18:10: Couldn't match type Identity with IO Expected type: s0 -> ZT IO () Actual type: s0 -> ZT Identity () In the first argument of lift , namely gPrint In the expression: lift gPrint "a" }}} (I had to import `Identity` from `Data.Functor` rather than `Control.Monad.Identity`.) So I think this is already fixed. Reopen if you disagree. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7905#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler