diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-22 05:51:36 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-22 05:51:43 -0700 |
| commit | a9076fc2685b296bf5a32ff978c5eec91f67fd6a (patch) | |
| tree | 9fca552fae63760b02ef0a59d628c6411a1db7aa | |
| parent | 4221cc28d5e7bde8c52d54a050e477c1afaa62c5 (diff) | |
| download | haskell-a9076fc2685b296bf5a32ff978c5eec91f67fd6a.tar.gz | |
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
| -rw-r--r-- | compiler/typecheck/TcType.hs | 1 | ||||
| -rw-r--r-- | compiler/types/TyCoRep.hs | 8 |
2 files changed, 0 insertions, 9 deletions
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index bff6450de8..83d491f3dc 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 194df7dac1..1ca1efbc21 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) - {- %************************************************************************ %* * |