[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