[GHC] #13547: ghc: panic! StgCmmEnv: variable not found

[GHC]

#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