diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-21 03:49:30 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-21 03:49:30 -0700 |
| commit | 7c6585af9e9c83f2d87cb9728d9b8cb456e3d543 (patch) | |
| tree | 1a3492a3a2dbce099cc97b7c5bf039ddd4785a06 | |
| parent | 98a14ff0560d90eae74f42c33ee0811a15fca50f (diff) | |
| download | haskell-7c6585af9e9c83f2d87cb9728d9b8cb456e3d543.tar.gz | |
Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars
Richard isn't sure why it's there and removing it didn't change
anything.
| -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 e1f8534f79..194df7dac1 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]) |