[commit: ghc] master: Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars (7c6585a)
git at git.haskell.org
git at git.haskell.org
Thu Apr 21 10:48:35 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/7c6585af9e9c83f2d87cb9728d9b8cb456e3d543/ghc
>---------------------------------------------------------------
commit 7c6585af9e9c83f2d87cb9728d9b8cb456e3d543
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.
>---------------------------------------------------------------
7c6585af9e9c83f2d87cb9728d9b8cb456e3d543
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 e1f8534..194df7d 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
@@ -3150,7 +3150,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