[GHC] #5612: Better support for kinds in Template Haskell (was: panic, impossible happened, "Exotic form of kind")

[GHC]

#5612: Better support for kinds in Template Haskell
-------------------------------------------+--------------------------------
    Reporter:  guest                       |       Owner:  dreixel         
        Type:  feature request             |      Status:  new             
    Priority:  normal                      |   Milestone:  7.4.1           
   Component:  Compiler                    |     Version:  7.3             
    Keywords:  PolyKinds, TemplateHaskell  |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple            |     Failure:  Other           
  Difficulty:                              |    Testcase:                  
   Blockedby:                              |    Blocking:                  
     Related:                              |  
-------------------------------------------+--------------------------------
Changes (by dreixel):

  * type:  bug => feature request
  * os:  Linux => Unknown/Multiple
  * architecture:  x86 => Unknown/Multiple


Comment:

 http://hackage.haskell.org/trac/ghc/changeset/e328942561be162dd5f42b4ef630249ed34f1ef9
 gives a more civilized error. Also for kinds like `Constraint`, which TH
 doesn't handle either.

 I guess this will do for 7.4, and we should indeed come up with a design
 for handling the new kinds in TH.

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