#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