Re: [GHC] #760: Template Haskell doesn't like scoped type variables
#760: Template Haskell doesn't like scoped type variables -+-- Reporter: [EMAIL PROTECTED] | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 6.6 Component: Compiler|Version: 6.4.2 Severity: normal | Resolution: Keywords: | Os: Linux Difficulty: Unknown | Architecture: x86 -+-- Changes (by simonmar): * milestone: = 6.6 * owner: = simonpj Comment: We should fail more gracefully in this case (and perhaps when TH is used with other extensions that aren't supported with TH, too). -- 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
Re: [GHC] #760: Template Haskell doesn't like scoped type variables
#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
Re: [GHC] #760: Template Haskell doesn't like scoped type variables
#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 simonpj): Template Haskell originally only supported Haskell 98, but various non-H98 extensions have since been added. Apparently, TH patterns can contain type signatures (I didn't know that), but there does not seem to be any support for lexical scoping of type variables. Since GHC itself is in a state of flux wrt lexically scoped type variables, I'm not going to fix this now. I would love some TH enthusiast to take it on. Meanwhile, just avoid type signatures in patterns. Simon -- 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
[GHC] #760: Template Haskell doesn't like scoped type variables
#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