#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 vanto):
We ought to be able to do better.\\ Yes and it's good to share ideas.\\ I'd like to make a suggestion. It is not worth writing
{{{ In the expression: f @Int 42 5 In an equation for ‘g’: g = f @Int 42 5 }}} Since the compiler already indicates the place that has the expression and equation.\\ {{{ | 7 | g = f @Int 42 5 | ^^^^^^^^^^^ }}} Both sentences make redundancy and does not serve better to explain. Too much explanation is detrimental to the explanation. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13902#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler