#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 | Resolution:
Keywords: | Os: Linux
Difficulty: Unknown | Architecture: x86
---------------------------------+------------------------------------------
Comment (by [EMAIL PROTECTED]):
Just for the record, it isn't just type signatures in patterns:
{{{
[EMAIL PROTECTED] stuff]$ cat R.hs
$(id [d| f :: forall a . a -> a
f x = (x :: a) |])
[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 a189}
}}}
--
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