[GHC] #8884: Reifying closed type families is broken

[GHC]

#8884: Reifying closed type families is broken
-------------------------------------+------------------------------------
        Reporter:  goldfire          |            Owner:  goldfire
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:  7.8.1
       Component:  Template Haskell  |          Version:  7.8.1-rc2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by Richard Eisenberg <eir@…>):

 In [changeset:"8c5ea91d68cdc79b413e05f7dacfd052f5de8c64/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="8c5ea91d68cdc79b413e05f7dacfd052f5de8c64"
 Fix #8884.

 There were two unrelated errors fixed here:
  1) Make sure that only the *result kind* is reified when reifying
     a type family. Previously, the whole kind was reified, which
     defies the TH spec.

  2) Omit kind patterns in equations.
 }}}

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