#13902: Misleading function arity mismatch error with TypeApplications -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.1 checker) | Keywords: Resolution: | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: Poor/confusing | Unknown/Multiple error message | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): I like treating the function and visible type application as a whole. The type of `f @Int` is `Int -> Int` and takes a single argument but that is not the type of `f` -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13902#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler