• niteria's avatar
    Make inert_model and inert_eqs deterministic sets · fffe3a25
    niteria authored
    The order inert_model and intert_eqs fold affects the order that the
    typechecker looks at things. I've been able to experimentally confirm
    that the order of equalities and the order of the model matter for
    determinism. This is just a straigthforward replacement of
    nondeterministic VarEnv for deterministic DVarEnv.
    Test Plan: ./validate
    Reviewers: simonpj, goldfire, austin, bgamari, simonmar
    Reviewed By: simonmar
    Subscribers: thomie
    Differential Revision: https://phabricator.haskell.org/D2232
    GHC Trac Issues: #4012
TcInteract.hs 87.9 KB