• Simon Peyton Jones's avatar
    Refactor simplExpr (Type ty) · 29645274
    Simon Peyton Jones authored
    This small refactoring, provoked by comment:18 on Trac #13426,
    makes it so that simplExprF never gets a (Type ty) expression to
    simplify, which in turn means that calls to exprType on its argument
    will always succeed.
    
    No change in behaviour.
    29645274
Simplify.hs 133 KB