• Richard Eisenberg's avatar
    Refactor tcInferApps. · 791947db
    Richard Eisenberg authored
    With the changes caused by the fix to #12369, it is now clearer
    how to rewrite tcInferApps and friends. This should change no
    behavior, but it does clean up a nasty corner of the type checker.
    This commit also removes some uses of substTyUnchecked.
TcHsType.hs 94.1 KB