diff options
| -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) - {- %************************************************************************ %* * |