[GHC] #5616: TH type quotes cannot contain free type variables

[GHC]

#5616: TH type quotes cannot contain free type variables
---------------------------------+------------------------------------------
    Reporter:  Lennart           |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Component:  Template Haskell
     Version:  7.2.1             |    Keywords:                  
    Testcase:                    |   Blockedby:                  
          Os:  Unknown/Multiple  |    Blocking:                  
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
---------------------------------+------------------------------------------
 A type quote cannot contain a free type variable, e.g.

 {{{
 module TH where
 import Language.Haskell.TH

 foo = [t| a |]
 }}}

 This is very awkward when passing arguments that are going into instance
 declarations since these need to have free type variables.

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