Type family reification misses a kind signature
If I have
type family F (a :: k) :: * where
F (a :: * -> *) = Int
F (a :: k) = Char
and then print out the reification of F
, I get (when pretty-printed)
type family Ghci1.F (a_0 :: k_1) :: * where
Ghci1.F a_2 = GHC.Types.Int
Ghci1.F a_3 = GHC.Types.Char
Note that the kind signature on the first variable is dropped. This is not the fault of the pretty-printer, as the kind signature is dropped in the AST as well. The reifier should include the kind signature.
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Template Haskell |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |