Commit 6bad38a4 authored by batterseapower's avatar batterseapower
Browse files

Remove bogus isCoercionKind function and its sole use

parent fedb6a99
......@@ -1335,10 +1335,7 @@ bindIfaceTyVars bndrs thing_inside
mk_iface_tyvar :: Name -> IfaceKind -> IfL TyVar
mk_iface_tyvar name ifKind
= do { kind <- tcIfaceType ifKind
; if isCoercionKind kind then
return (Var.mkCoVar name kind)
else
return (Var.mkTyVar name kind) }
; return (Var.mkTyVar name kind) }
bindIfaceTyVars_AT :: [IfaceTvBndr] -> ([TyVar] -> IfL a) -> IfL a
-- Used for type variable in nested associated data/type declarations
......
......@@ -26,7 +26,7 @@ module TysPrim(
-- Kinds
liftedTypeKind, unliftedTypeKind, openTypeKind,
argTypeKind, ubxTupleKind,
mkArrowKind, mkArrowKinds, isCoercionKind,
mkArrowKind, mkArrowKinds,
funTyCon, funTyConName,
primTyCons,
......
......@@ -18,7 +18,7 @@ module Coercion (
-- ** Predicates on Kinds
isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind,
isUbxTupleKind, isArgTypeKind, isKind, isTySuperKind,
isSuperKind, isCoercionKind,
isSuperKind,
mkArrowKind, mkArrowKinds,
isSubArgTypeKind, isSubOpenTypeKind, isSubKind, defaultKind, eqKind,
......
......@@ -28,7 +28,7 @@ module Kind (
-- ** Predicates on Kinds
isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind,
isUbxTupleKind, isArgTypeKind, isKind, isTySuperKind,
isSuperKind, isCoercionKind,
isSuperKind,
isLiftedTypeKindCon,
isSubArgTypeKind, isSubOpenTypeKind, isSubKind, defaultKind,
......
......@@ -18,7 +18,7 @@ module TypeRep (
-- Functions over types
mkTyConApp, mkTyConTy, mkTyVarTy, mkTyVarTys,
isLiftedTypeKind, isCoercionKind,
isLiftedTypeKind,
-- Pretty-printing
pprType, pprParendType, pprTypeApp,
......@@ -266,13 +266,6 @@ isLiftedTypeKind :: Kind -> Bool
-- This function is here because it's used in the pretty printer
isLiftedTypeKind (TyConApp tc []) = tc `hasKey` liftedTypeKindTyConKey
isLiftedTypeKind _ = False
isCoercionKind :: Kind -> Bool
-- All coercions are of form (ty1 ~ ty2)
-- This function is here rather than in Coercion, because it
-- is used in a knot-tied way to enforce invariants in Var
isCoercionKind (PredTy (EqPred {})) = True
isCoercionKind _ = False
\end{code}
......
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