#12093: Wrong argument count in error message with TypeApplications -------------------------------------+------------------------------------- Reporter: kwf | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.1 checker) | Keywords: Resolution: duplicate | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #13902 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => duplicate * related: => #13902 Comment: This was fixed in #13902. The error message now reads: {{{ Bug.hs:5:9: error: • Couldn't match expected type ‘Bool -> t’ with actual type ‘Bool’ • The expression ‘id @Bool’ is applied to two arguments, but its type ‘Bool -> Bool’ has only one In the expression: id @Bool True False In an equation for ‘wrong’: wrong = id @Bool True False • Relevant bindings include wrong :: t (bound at Bug.hs:5:1) | 5 | wrong = id @Bool True False | ^^^^^^^^^^^^^^^^^^^ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12093#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler