[GHC] #2024: Template Haskell doesn't work well with Lexically Scoped Type Variables

[GHC]

#2024: Template Haskell doesn't work well with Lexically Scoped Type Variables
------------------------------+---------------------------------------------
 Reporter:  fons              |          Owner:  igloo  
     Type:  merge             |         Status:  new    
 Priority:  normal            |      Milestone:         
Component:  Template Haskell  |        Version:  6.8.2  
 Severity:  normal            |     Resolution:         
 Keywords:                    |     Difficulty:  Unknown
 Testcase:  TH_scopedTvs      |   Architecture:  Unknown
       Os:  Unknown           |  
------------------------------+---------------------------------------------
Changes (by simonpj):

  * testcase:  => TH_scopedTvs
  * owner:  => igloo
  * type:  bug => merge

Comment:

 Thanks.  Fixed by
 {{{
 Wed Jan 16 15:16:12 GMT 2008  simonpj at microsoft.com
   * Complain sensibly if you try to use scoped type variables in Template
 Haskell
 }}}

 Ian: pls merge this across.

 Simon

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