Skip to content

GHC 8.8 regression: :t in ghci silent

Summary

Under certain circumstances, the :t command produces no output. It is unclear what the exact extent of these circumstances is, but at the very least this arises in ill-kinded contexts

Steps to reproduce

The following command suffices: :t id :: [Maybe]

Expected behavior

This should (and in GHC 8.6.5 does) complain that Maybe is not of kind *.

Environment

  • GHC version used: 8.8.1 (verified nonexistent in 8.6.5)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information