• niteria's avatar
    Kill varSetElemsWellScoped in quantifyTyVars · c9bcaf31
    niteria authored
    varSetElemsWellScoped introduces unnecessary non-determinism in
    inferred type signatures.
    Removing this instance required changing the representation of
    TcDepVars to use deterministic sets.
    This is the last occurence of varSetElemsWellScoped, allowing me to
    finally remove it.
    Test Plan:
    I will update the expected outputs when commiting, some reordering
    of type variables in types is expected.
    Reviewers: goldfire, simonpj, austin, bgamari
    Reviewed By: simonpj
    Subscribers: thomie, simonmar
    Differential Revision: https://phabricator.haskell.org/D2135
    GHC Trac Issues: #4012
T7730.stdout 225 Bytes