#5795: Breaking the staging restriction in type splices causes GHC panic
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.4.2
Component: Template Haskell | Version: 7.4.1-rc1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by simonpj@…):
commit 6d46439c1c0e3765827dde26077ff45f85e210bd
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Thu Apr 5 11:37:02 2012 +0100
Improve error reporting for out-of-scope variables
Sometimes when a variable is out of scope in the type-checker,
it's not a GHC bug, but rather a TH staging error. See
Note [Out of scope might be a staging error] in TcEnv.
This showed up as Trac #5795.
compiler/rename/RnEnv.lhs | 4 +++-
compiler/typecheck/TcEnv.lhs | 36 ++++++++++++++++++++++++++++--------
2 files changed, 31 insertions(+), 9 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5795#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
