[GHC] #760: Template Haskell doesn't like scoped type variables

[GHC]

#760: Template Haskell doesn't like scoped type variables
---------------------------------+------------------------------------------
  Reporter:  rl at cse.unsw.edu.au  |          Owner:       
      Type:  bug                 |         Status:  new  
  Priority:  normal              |      Milestone:       
 Component:  Compiler            |        Version:  6.4.2
  Severity:  normal              |     Resolution:       
  Keywords:                      |             Os:  Linux
Difficulty:  Unknown             |   Architecture:  x86  
---------------------------------+------------------------------------------
Comment (by rl at cse.unsw.edu.au):

 Just for the record, it isn't just type signatures in patterns:
 {{{
 [rl at rl-lap stuff]$ cat R.hs
 $(id [d| f :: forall a . a -> a
          f x = (x :: a) |])

 [rl at rl-lap stuff]$ ghc -fglasgow-exts -c R.hs
 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
         Failed binder lookup: a{tv a189}
 }}}

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