Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information