[GHC] #11414: Panic with -XStrict: StgCmmEnv: variable not found

[GHC]

#11414: Panic with -XStrict: StgCmmEnv: variable not found
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  highest           |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:  Strict
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:  T11414
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1791
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"c6485d5e6daec20c8ff66d6e721d3e0a5f3156ac/ghc"
 c6485d5e/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="c6485d5e6daec20c8ff66d6e721d3e0a5f3156ac"
 Simplify AbsBinds wrapping

 In poking Trac #11414 I found myself sinking into the abe_inst_wrap
 swamp.  What is this strange thing?  (It turned out that #11414 was
 breaking because of it.)

 Thrillingly, I found a way to sweep it away again, putting the deep
 instantation into tcMonoBinds instead of mkExport; and it turned out
 that the fun_co_fn field of FunBind was already there ready to receive
 exactly this wrapper. Hooray.  Result

 * Death to abe_inst_wrap
 * Death to mbi_orig
 * Death to the plumbing in tcPolyInfer that did the
   deep instantiation

 I did find that I had to re-engineer the treatment of instance type
 signatures (again), but the result looks more modular and robust to
 me.

 And #11414 is fixed.
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11414#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler