[GHC] #5612: Better support for kinds in Template Haskell

[GHC]

#5612: Better support for kinds in Template Haskell
-------------------------------------------+--------------------------------
    Reporter:  guest                       |       Owner:  lunaris         
        Type:  feature request             |      Status:  patch           
    Priority:  low                         |   Milestone:  7.6.1           
   Component:  Compiler                    |     Version:  7.3             
    Keywords:  PolyKinds, TemplateHaskell  |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple            |     Failure:  Other           
  Difficulty:  Unknown                     |    Testcase:                  
   Blockedby:                              |    Blocking:                  
     Related:                              |  
-------------------------------------------+--------------------------------

Comment(by lunaris):

 Ok, I think the updated patches should work. I've ported over most of
 goldfire's test cases, except the last set, which I'll hopefully get
 around to tomorrow.

 In addressing this ticket, I've also fleshed out TH support for type-level
 literals, which was somewhat incomplete. I felt it was necessary to cope
 with the introduction of {{{type Kind = Type}}}. These changes have been
 kept in separate patches however, and have not received additional test
 suite coverage.

 Let me know what you think!

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