• niteria's avatar
    Rename "open" subst functions · 5dcae88b
    niteria authored
    This is the renaming that @simonpj requested:
    · zipOpenTCvSubst  -> zipTvSubst   (It only deals with tyvars)
    · zipOpenTCvSubstCoVars -> zipCvSubst   (it only deals with
    · zipOpenTCvSubstBinders ->  zipTyBinderSubst  (it only deals
    with TyBinders, not covars)
    plus the `mk` variant.
    Test Plan: ./validate
    Reviewers: simonpj, goldfire, austin, bgamari
    Subscribers: thomie, simonpj
    Differential Revision: https://phabricator.haskell.org/D1853
    GHC Trac Issues: #11371
Check.hs 62.8 KB