• 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
    5a62b6ac
TcSimplify.hs 84.4 KB