[commit: ghc] wip/ghc-8.0-det: Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars (3a6888e)
git at git.haskell.org
git at git.haskell.org
Mon Jul 25 14:58:03 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ghc-8.0-det
Link : http://ghc.haskell.org/trac/ghc/changeset/3a6888e6ee523eafe5867a2891f6cfd8d63c34fa/ghc
>---------------------------------------------------------------
commit 3a6888e6ee523eafe5867a2891f6cfd8d63c34fa
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.
(cherry picked from commit 7c6585af9e9c83f2d87cb9728d9b8cb456e3d543)
>---------------------------------------------------------------
3a6888e6ee523eafe5867a2891f6cfd8d63c34fa
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