Skip to content

Confusing `:info (->)` output on GHC HEAD

On GHC 8.10.2, this is the output of :info (->) in GHCi:

λ> :info (->)
type (->) :: * -> * -> *
data (->) a b

This seems reasonable enough. On GHC HEAD, however, the output is much more confusing:

λ> :info (->)
type (->) :: * -> * -> *
type (->) = (->) :: * -> * -> *

My best guess is that is actually meant to display type (->) = (#->) :: * -> * -> *, but that gets butchered by GHC's pretty-printer for types.

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