[commit: ghc] master: Remove unused tyCoVarsOfTelescope (a9076fc)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/a9076fc2685b296bf5a32ff978c5eec91f67fd6a/ghc

>---------------------------------------------------------------

commit a9076fc2685b296bf5a32ff978c5eec91f67fd6a
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Fri Apr 22 05:51:36 2016 -0700

    Remove unused tyCoVarsOfTelescope
    
    Grepping reveals that it's not used. I suspect that it isn't useful
    anymore.
    
    Test Plan: grep
    
    Reviewers: goldfire, austin, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: thomie, simonmar
    
    Differential Revision: https://phabricator.haskell.org/D2134


>---------------------------------------------------------------

a9076fc2685b296bf5a32ff978c5eec91f67fd6a
 compiler/typecheck/TcType.hs | 1 -
 compiler/types/TyCoRep.hs    | 8 --------
 2 files changed, 9 deletions(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index bff6450..83d491f 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -168,7 +168,6 @@ module TcType (
   coreView,
 
   tyCoVarsOfType, tyCoVarsOfTypes, closeOverKinds,
-  tyCoVarsOfTelescope,
   tyCoFVsOfType, tyCoFVsOfTypes,
   tyCoVarsOfTypeDSet, tyCoVarsOfTypesDSet, closeOverKindsDSet,
   tyCoVarsOfTypeList, tyCoVarsOfTypesList,
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index 194df7d..1ca1efb 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -72,7 +72,6 @@ module TyCoRep (
         tyCoFVsOfCo, tyCoFVsOfCos,
         tyCoVarsOfCoList, tyCoVarsOfProv,
         closeOverKinds,
-        tyCoVarsOfTelescope,
 
         -- * Substitutions
         TCvSubst(..), TvSubstEnv, CvSubstEnv,
@@ -1528,13 +1527,6 @@ closeOverKindsFV tvs =
 closeOverKindsDSet :: DTyVarSet -> DTyVarSet
 closeOverKindsDSet = fvDVarSet . closeOverKindsFV . dVarSetElems
 
--- | Gets the free vars of a telescope, scoped over a given free var set.
-tyCoVarsOfTelescope :: [Var] -> TyCoVarSet -> TyCoVarSet
-tyCoVarsOfTelescope [] fvs = fvs
-tyCoVarsOfTelescope (v:vs) fvs = tyCoVarsOfTelescope vs fvs
-                                 `delVarSet` v
-                                 `unionVarSet` tyCoVarsOfType (varType v)
-
 {-
 %************************************************************************
 %*                                                                      *