Unrelated error message triggered on absent kind annotation.
Summary
On some inputs GHC complains about error in hi-file, while actual problem is related to kind checking.
Steps to reproduce
on loading of the attached file testcase.hs ghci-8.10.1 complains that
Can't find interface-file declaration for variable GHC.Types.$tcOrdering
The error disappears on giving ord
variable explicit kind signature like (ord :: Ordering)
.
Expected behavior
GHC should either infer kind of ord
automagically or complain about inability to infer ord
's kind
Environment
- GHC version used: 8.10.1 , ghcup
- Operating System: Ubuntu-18.04
- System Architecture: amd64