[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):

 Regarding the above, the attached patches should fix #6066. I can re-roll
 if they've become too out-of-date to apply.

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