Skip to content

Make GHCi's :info command display top-level kind signatures

(NB: The following issue cannot be triggered on the master branch of GHC HEAD, but rather the wip/top-level-kind-signatures branch. Per the author's request, I'm filing issues about it here. I'll use the ~tlks label to categorize these sorts of issues.)

Even if you define a declaration with a top-level kind signature, GHCi won't display it:

λ> type T :: Type -> Type; data T a
λ> :info T
type role T phantom
data T a

This seems like pertinent information, so I'd like to see this shown to the user.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information