diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-21 03:49:30 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-07-25 07:14:21 -0700 |
| commit | 3a6888e6ee523eafe5867a2891f6cfd8d63c34fa (patch) | |
| tree | 8f7747d6cb5dd3396b88af7c0aa2edc29d8fb631 | |
| parent | 28c4a844d7b5aac2114827f8237ba8f918588ab9 (diff) | |
| download | haskell-3a6888e6ee523eafe5867a2891f6cfd8d63c34fa.tar.gz | |
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)
| -rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index fe9a746071..2295cacc93 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]) |