diff options
author | Bartosz Nitka <niteria@gmail.com> | 2016-04-26 13:04:08 -0700 |
---|---|---|
committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-26 13:04:29 -0700 |
commit | f13a8d219fbb16ece2bede66ac47f8599a86d3e2 (patch) | |
tree | eb30bd307dcc5375a90f86a5114a6e6316517528 /compiler/types | |
parent | 94320e1d34d14017cc9b38226ea78205a0a76a2b (diff) | |
download | haskell-f13a8d219fbb16ece2bede66ac47f8599a86d3e2.tar.gz |
Kill varSetElems in markNominal
varSetElems introduces unnecessary nondeterminism and it was
straighforward to just get a deterministic list.
Test Plan: ./validate
Reviewers: austin, goldfire, bgamari, simonmar, simonpj
Reviewed By: simonpj
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2145
GHC Trac Issues: #4012
Diffstat (limited to 'compiler/types')
-rw-r--r-- | compiler/types/TyCoRep.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index b1aad56457..118fd9533f 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -45,7 +45,7 @@ module TyCoRep ( -- * Functions over binders binderType, delBinderVar, isInvisibleBinder, isVisibleBinder, - isNamedBinder, isAnonBinder, + isNamedBinder, isAnonBinder, delBinderVarFV, -- * Functions over coercions pickLR, |