Remove bogus isCoercionKind function and its sole use
authorMax Bolingbroke <batterseapower@hotmail.com>
Sun, 14 Aug 2011 07:06:17 +0000 (08:06 +0100)
committerMax Bolingbroke <batterseapower@hotmail.com>
Tue, 6 Sep 2011 16:16:55 +0000 (17:16 +0100)
compiler/iface/TcIface.lhs
compiler/prelude/TysPrim.lhs
compiler/types/Coercion.lhs
compiler/types/Kind.lhs
compiler/types/TypeRep.lhs

index d0ce1b7..87fac02 100644 (file)
@@ -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
index d0495d7..b130c21 100644 (file)
@@ -26,7 +26,7 @@ module TysPrim(
         -- Kinds
        liftedTypeKind, unliftedTypeKind, openTypeKind,
         argTypeKind, ubxTupleKind,
-        mkArrowKind, mkArrowKinds, isCoercionKind,
+        mkArrowKind, mkArrowKinds,
 
         funTyCon, funTyConName,
         primTyCons,
index 621168f..d9f48a3 100644 (file)
@@ -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,
index 0594f7f..777ed43 100644 (file)
@@ -28,7 +28,7 @@ module Kind (
         -- ** Predicates on Kinds
         isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind,
         isUbxTupleKind, isArgTypeKind, isKind, isTySuperKind, 
-        isSuperKind, isCoercionKind, 
+        isSuperKind, 
         isLiftedTypeKindCon,
 
         isSubArgTypeKind, isSubOpenTypeKind, isSubKind, defaultKind,
index d656620..6a0b87c 100644 (file)
@@ -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}