• Simon Peyton Jones's avatar
    Delete commented-out code · 97a50f82
    Simon Peyton Jones authored
    Richard: in a previous commit I combined the two case for
    
       decideQuantification
    
    This commit just deletes the old code. I'm afraid it'll leave you
    with a merge conflict though, with your stuff on generalisation.
    97a50f82
TcSimplify.hs 88.7 KB