Commit a9076fc2 authored by niteria's avatar niteria

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
parent 4221cc28
......@@ -168,7 +168,6 @@ module TcType (
coreView,
tyCoVarsOfType, tyCoVarsOfTypes, closeOverKinds,
tyCoVarsOfTelescope,
tyCoFVsOfType, tyCoFVsOfTypes,
tyCoVarsOfTypeDSet, tyCoVarsOfTypesDSet, closeOverKindsDSet,
tyCoVarsOfTypeList, tyCoVarsOfTypesList,
......
......@@ -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)
{-
%************************************************************************
%* *
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment