• Simon Peyton Jones's avatar
    Simplify API to tcMatchTys · 5a62b6ac
    Simon Peyton Jones authored
    Previously tcMatchTys took a set of "template type variables" to
    bind.  But all the calls are top-level, and we always want to
    bind all variables in the template.  So I simplified the API
    by omitting that argument.
    There should be no change in behaviour.
    Feel free to merge to 8.0 if it helps in merging other patches
TcSimplify.hs 84.4 KB