Confusing printout with PolyKinds
If I load the following into ghci:
{-# LANGUAGE TypeFamilies,
PolyKinds
#-}
type family Foo a
and then get the info on Foo
, I get the following printout:
type family Foo k a :: *
It seems that ghc is inserting the kind variable k
into the name of the type function Foo
. Perhaps this was intended, but it seems counter-intuitive. A kind of *
is also sometimes printed in different situations when compiling with PolyKinds
.
Trac metadata
Trac field | Value |
---|---|
Version | 7.4.1-rc1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |