[GHC] #13547: ghc: panic! StgCmmEnv: variable not found
GHC
ghc-devs at haskell.org
Sun Apr 9 21:39:15 UTC 2017
#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
More information about the ghc-tickets
mailing list