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 @IntTrac 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 |