• Simon Peyton Jones's avatar
    Case-of-empty-alts is trivial (Trac #11155) · 1c9fd3f1
    Simon Peyton Jones authored
    As you'll see from Trac #11155, the code generator was confused
    by a binding let x = y in ....   Why did that happen? Because of
    a (case y of {}) expression on the RHS.
    
    The right thing is just to expand what a "trivial" expression is.
    
    See Note [Empty case is trivial] in CoreUtils.
    1c9fd3f1
CorePrep.hs 49.5 KB