From f13a8d219fbb16ece2bede66ac47f8599a86d3e2 Mon Sep 17 00:00:00 2001 From: Bartosz Nitka Date: Tue, 26 Apr 2016 13:04:08 -0700 Subject: 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 --- compiler/types/TyCoRep.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/types') 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, -- cgit v1.2.1