#5795: Breaking the staging restriction in type splices causes GHC panic
-------------------------------+--------------------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.4.2
Component: Template Haskell | Version: 7.4.1-rc1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: th/T5795 | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => th/T5795
* resolution: => fixed
Comment:
Thanks. I've fixed this. Not perfectly but better
{{{
T5795.hs:9:6:
GHC stage restriction:
`ty' is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: ty
In the type signature for `f': f :: $ty
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5795#comment:3>
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
