diff options
| author | Brian Foley <bpfoley@google.com> | 2020-03-13 22:34:15 -0700 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-15 03:58:18 -0400 |
| commit | b4774598e6bd060b1b4230b11b734ca40022980d (patch) | |
| tree | 9b28fdfa3aaa36a41ebc711efa795005953dc93d /compiler/typecheck | |
| parent | d30aeb4b38381758025bc1002eb2135ad6bc58b8 (diff) | |
| download | haskell-b4774598e6bd060b1b4230b11b734ca40022980d.tar.gz | |
Remove some dead code
From the notes.ghc.drop list found using weeder in #17713
Diffstat (limited to 'compiler/typecheck')
| -rw-r--r-- | compiler/typecheck/Constraint.hs | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/compiler/typecheck/Constraint.hs b/compiler/typecheck/Constraint.hs index 40fc8fdedb..c0eefe72b2 100644 --- a/compiler/typecheck/Constraint.hs +++ b/compiler/typecheck/Constraint.hs @@ -55,7 +55,7 @@ module Constraint ( isWanted, isGiven, isDerived, isGivenOrWDeriv, ctEvRole, - wrapType, wrapTypeWithImplication, + wrapType, CtFlavour(..), ShadowInfo(..), ctEvFlavour, CtFlavourRole, ctEvFlavourRole, ctFlavourRole, @@ -86,7 +86,6 @@ import Coercion import Class import TyCon import Var -import Id import TcType import TcEvidence @@ -1292,17 +1291,6 @@ pprEvVarWithType v = ppr v <+> dcolon <+> pprType (evVarPred v) --- | Wraps the given type with the constraints (via ic_given) in the given --- implication, according to the variables mentioned (via ic_skols) --- in the implication, but taking care to only wrap those variables --- that are mentioned in the type or the implication. -wrapTypeWithImplication :: Type -> Implication -> Type -wrapTypeWithImplication ty impl = wrapType ty mentioned_skols givens - where givens = map idType $ ic_given impl - skols = ic_skols impl - freeVars = fvVarSet $ tyCoFVsOfTypes (ty:givens) - mentioned_skols = filter (`elemVarSet` freeVars) skols - wrapType :: Type -> [TyVar] -> [PredType] -> Type wrapType ty skols givens = mkSpecForAllTys skols $ mkPhiTy givens ty |