diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-05-17 05:45:43 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-05-18 05:44:20 -0700 |
| commit | fffe3a25adab41d44943ed1be0191cf570d3e154 (patch) | |
| tree | 7ce7d796d044e78c6030fe517d2837e4debc6d4b /includes | |
| parent | 77ee3a92a4012530cbd0b63c7b10b544eae50754 (diff) | |
| download | haskell-fffe3a25adab41d44943ed1be0191cf570d3e154.tar.gz | |
Make inert_model and inert_eqs deterministic sets
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
Diffstat (limited to 'includes')
0 files changed, 0 insertions, 0 deletions