Remove unused tyCoVarsOfTelescope
authorBartosz Nitka <niteria@gmail.com>
Fri, 22 Apr 2016 12:51:36 +0000 (05:51 -0700)
committerBartosz Nitka <niteria@gmail.com>
Fri, 22 Apr 2016 12:51:43 +0000 (05:51 -0700)
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

compiler/typecheck/TcType.hs
compiler/types/TyCoRep.hs

index bff6450..83d491f 100644 (file)
@@ -168,7 +168,6 @@ module TcType (
   coreView,
 
   tyCoVarsOfType, tyCoVarsOfTypes, closeOverKinds,
-  tyCoVarsOfTelescope,
   tyCoFVsOfType, tyCoFVsOfTypes,
   tyCoVarsOfTypeDSet, tyCoVarsOfTypesDSet, closeOverKindsDSet,
   tyCoVarsOfTypeList, tyCoVarsOfTypesList,
index 194df7d..1ca1efb 100644 (file)
@@ -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)
-
 {-
 %************************************************************************
 %*                                                                      *