!4022: Do absence analysis on stable unfoldings · Merge requests · Glasgow Haskell Compiler / GHC

Simon Peyton Jones requested to merge wip/T18638 into master Sep 10, 2020

Ticket #18638 (closed) showed that Very Bad Things happen if we fail to do absence analysis on stable unfoldings. It's all described in Note [Absence analysis for stable unfoldings].

I'm a bit surprised this hasn't bitten us before. Fortunately the fix is pretty simple.

Do absence analysis on stable unfoldings

Merge request reports