Template Haskell doesn't like scoped type variables

GHC panics is scoped type variables are used in [d| ... |]:

[rl@rl-lap stuff]$ cat R.hs
$(id [d| f (x :: a) = x |])

[rl@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 a18c}

Please report this as a compiler bug.  See:
  http://www.haskell.org/ghc/reportabug

Trac metadata

Trac field	Value
Version	6.4.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture