[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