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 |