[GHC] #9766: Use TypeLits in the meta-data encoding of GHC.Generics

[GHC]

#9766: Use TypeLits in the meta-data encoding of GHC.Generics
-------------------------------------+-------------------------------------
        Reporter:  dreixel           |                   Owner:  kosmikus
            Type:  task              |                  Status:  patch
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Compiler          |                 Version:  7.9
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:  9043
 Related Tickets:  #9043             |  Differential Revisions:  Phab:D493
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * owner:  dreixel => kosmikus


Comment:

 On the Phab ticket, Ben says
 > @dreixel, this looks like a nice use of promotion. Is there any chance
 you will be continuing this work?
 and Pedro replies
 > I'm afraid not, at least not in the foreseeable future. I'd love it if
 someone were to pick it up, though!

 I think that Andres has volunteered to pick up Generics related tickets,
 of which this is a prime example, so I'll change the owner to him.
 Andres, might you get to this?  It's mostly done!!

 Thanks

 Simon

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