#760: Template Haskell doesn't like scoped type variables
-----------------------------------+----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.4.2
Severity: normal | Keywords:
Os: Linux | Difficulty: Unknown
Architecture: x86 |
-----------------------------------+----------------------------------------
GHC panics is scoped type variables are used in [d| ... |]:
{{{
[EMAIL PROTECTED] stuff]$ cat R.hs
$(id [d| f (x :: a) = x |])
[EMAIL PROTECTED] 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
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/760>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs