Skip to content

Do absence analysis on stable unfoldings

Simon Peyton Jones requested to merge wip/T18638 into master

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.

Merge request reports