Awkward error message "Expecting one fewer argument to ‘*’"
The first error below has a strange first line. Admittedly the input is nonsense, but as *
has no arguments, according to the March Hare, it can't have one fewer argument.
Note that the second error does not contain this problematic line.
rwbarton@morphism:/tmp$ ~/ghc-newest/inplace/bin/ghc-stage2 --interactive
GHCi, version 7.11.20151228: http://www.haskell.org/ghc/ :? for help
Prelude> import Data.Kind
Prelude Data.Kind> :set -XTypeApplications
Prelude Data.Kind> :t fmap @ (*)
<interactive>:1:8: error:
• Expecting one fewer argument to ‘*’
Expected kind ‘* -> *’, but ‘*’ has kind ‘*’
• In the type ‘*’
In the expression: fmap @*
Prelude Data.Kind> :t fmap @ Int
<interactive>:1:8: error:
• Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
• In the type ‘Int’
In the expression: fmap @Int
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | low |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire |
Operating system | |
Architecture |