Skip to content
Blame Permalink
  • Simon Peyton Jones's avatar
    7cf09ab0
    Do absence analysis on stable unfoldings · 7cf09ab0
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    Ticket #18638 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 and RULES].

I'm a bit surprised this hasn't bitten us before. Fortunately
the fix is pretty simple.
    7cf09ab0
    Do absence analysis on stable unfoldings
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    Ticket #18638 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 and RULES].

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