[GHC] #13809: TH-reified type family and data family instances have a paucity of kinds

[GHC]

#13809: TH-reified type family and data family instances have a paucity of kinds
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Template Haskell  |              Version:  8.0.1
      Resolution:  fixed             |             Keywords:  TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:  14268             |             Blocking:
 Related Tickets:  #8953, #14268     |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):

 * status:  new => closed
 * resolution:   => fixed
 * milestone:   => 8.8.1


Comment:

 Now that #14268 is implemented, I claim that this is fixed. That is
 because when you reify `Foo` now, you get the following information:

 {{{#!hs
 FamilyI
   (DataFamilyD
     Foo.Foo [KindedTV a_6989586621679015908 StarT] (Just StarT))
   [ DataInstD
       []
       Foo.Foo
       (Just [KindedTV f_6989586621679015938 (AppT (AppT ArrowT (AppT (AppT
 ArrowT StarT) StarT)) StarT),KindedTV a_6989586621679015939 (AppT (AppT
 ArrowT StarT) StarT)])
       [AppT (VarT f_6989586621679015938) (VarT a_6989586621679015939)]
       Nothing
       []
       []
   , DataInstD
       []
       Foo.Foo
       (Just [KindedTV f_6989586621679015958 (AppT (AppT ArrowT StarT)
 StarT),KindedTV a_6989586621679015959 StarT])
       [AppT (VarT f_6989586621679015958) (VarT a_6989586621679015959)]
       Nothing
       []
       []
   ]
 }}}

 In particular, we now have access to the exact kinds of `f` and `a` in
 each instance, which lets us properly distinguish them. Hooray!

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13809#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler