[commit: ghc] wip/ghc-8.0-det: Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars (9560075)
git at git.haskell.org
git at git.haskell.org
Thu Jul 14 13:52:55 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ghc-8.0-det
Link : http://ghc.haskell.org/trac/ghc/changeset/9560075b1c40538428bf8f30f6134bf90d57f657/ghc
>---------------------------------------------------------------
commit 9560075b1c40538428bf8f30f6134bf90d57f657
Author: Bartosz Nitka <niteria at gmail.com>
Date: Thu Apr 21 03:49:30 2016 -0700
Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars
Richard isn't sure why it's there and removing it didn't change
anything.
>---------------------------------------------------------------
9560075b1c40538428bf8f30f6134bf90d57f657
compiler/types/TyCoRep.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index fe9a746..2295cac 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -128,7 +128,7 @@ import {-# SOURCE #-} DataCon( dataConTyCon, dataConFullSig
, dataConUnivTyBinders, dataConExTyBinders
, DataCon, filterEqSpec )
import {-# SOURCE #-} Type( isPredTy, isCoercionTy, mkAppTy
- , tyCoVarsOfTypesWellScoped, varSetElemsWellScoped
+ , tyCoVarsOfTypesWellScoped
, partitionInvisibles, coreView, typeKind
, eqType )
-- Transitively pulls in a LOT of stuff, better to break the loop
@@ -3046,7 +3046,7 @@ tidyFreeTyCoVars :: TidyEnv -> TyCoVarSet -> TidyEnv
-- ^ Add the free 'TyVar's to the env in tidy form,
-- so that we can tidy the type they are free in
tidyFreeTyCoVars (full_occ_env, var_env) tyvars
- = fst (tidyOpenTyCoVars (full_occ_env, var_env) (varSetElemsWellScoped tyvars))
+ = fst (tidyOpenTyCoVars (full_occ_env, var_env) (varSetElems tyvars))
---------------
tidyOpenTyCoVars :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])
More information about the ghc-commits
mailing list