#13547: ghc: panic! StgCmmEnv: variable not found -------------------------------------+------------------------------------- Reporter: cipher1024 | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (CodeGen) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: 10158 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Sure thing. Here's the relevant bit of Core Lint error from the file I've attached: {{{ [1 of 1] Compiling Document.Phase.Proofs2 ( Proofs2.hs, Proofs2.o ) *** Core Lint errors : in result of Desugar (after optimization) *** <no location info>: warning: In the expression: ds_d7Cx @ (RawProgressProp, RuleProxy) @ (RawProgressProp, Proxy a_a6xa) @ VoidInference (ds_d7Cx @ (RawProgressProp, RuleProxy) @ ((RuleProxy, ()), RawProgressProp) @ (RawProgressProp, Proxy a_a6xa) (ds_d7Cw @ (RawProgressProp, RuleProxy) @ ((RuleProxy, ()), RawProgressProp) (\ (ds_d7CJ :: (RawProgressProp, RuleProxy)) -> case ds_d7CJ of { (goal_a58Y, prxy_a58Z) -> ((prxy_a58Z, ()), goal_a58Y) })) (ds_d7Cx @ ((RuleProxy, ()), RawProgressProp) @ (Cell1 Proxy RuleParser, RawProgressProp) @ (RawProgressProp, Proxy a_a6xa) (first @ (LatexParserT M) $fArrowLatexParserT @ (RuleProxy, ()) @ (Cell1 Proxy RuleParser) @ RawProgressProp (ds_d7Cx @ (RuleProxy, ()) @ RuleProxy @ (Cell1 Proxy RuleParser) (ds_d7Cw @ (RuleProxy, ()) @ RuleProxy (\ (ds_d7CH :: (RuleProxy, ())) -> case ds_d7CH of { (ds_d7CG, _ [Occ=Dead]) -> ds_d7CG })) (arr @ (LatexParserT M) $fArrowLatexParserT @ RuleProxy @ (Cell1 Proxy RuleParser) (view @ RuleProxy @ ((->) RuleProxy) @ (Cell1 Proxy RuleParser) ($fMonadReaderr(->) @ RuleProxy) (cell @ RuleProxy @ (Cell1 Proxy RuleParser) $fHasCellRuleProxyCell1 @ (Const (Cell1 Proxy RuleParser)) ($fFunctorConst @ (Cell1 Proxy RuleParser))))))) (ds_d7Cw @ (Cell1 Proxy RuleParser, RawProgressProp) @ (RawProgressProp, Proxy a_a6xa) (\ (ds_d7CZ :: (Cell1 Proxy RuleParser, RawProgressProp)) -> case ds_d7CZ of { (ds_d7CM, ds_d7CK) -> case ds_d7CM of { Cell @ a_a6xa _ [Occ=Dead] _ [Occ=Dead] prxy'_a590 -> (ds_d7CK, prxy'_a590) } })))) (ds_d7Cx @ (RawProgressProp, Proxy a_a6xa) @ ((RawProgressProp, Proxy a_a6xa), ()) @ VoidInference (ds_d7Cw @ (RawProgressProp, Proxy a_a6xa) @ ((RawProgressProp, Proxy a_a6xa), ()) (\ (ds_d7CD :: (RawProgressProp, Proxy a_a6xa)) -> (ds_d7CD, ()))) (ds_d7Cx @ ((RawProgressProp, Proxy a_a6xa), ()) @ (RawProgressProp, Inst1 Proxy RuleParser a_a6xa) @ VoidInference (ds_d7Cw @ ((RawProgressProp, Proxy a_a6xa), ()) @ (RawProgressProp, Inst1 Proxy RuleParser a_a6xa) (\ (ds_d7CC :: ((RawProgressProp, Proxy a_a6xa), ())) -> case ds_d7CC of { (ds_d7CB, _ [Occ=Dead]) -> case ds_d7CB of { (goal_a58Y, prxy'_a590) -> (goal_a58Y, Inst @ Proxy @ RuleParser @ a_a6xa $dTypeable_a6xl irred_a6xm prxy'_a590) } })) (stepList @ a_a6xa m_a58W))) @ a_a6xa is out of scope }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13547#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler