X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=eeacb1a575db604a5150cd009038eeb8cadb89ee;hp=deaef17646ed15185a40911c5a338ae8e8dbf3ef;hb=ac704fcac946590eef0ec91ae19f3b47d779a75f;hpb=28d732c362e13e58d653b3dc15fd376c3f0c54c2

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index deaef17..eeacb1a 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -1289,7 +1289,7 @@ substTyVarBndr subst@(TvSubst in_scope env) old_var
 	| is_co_var = setTyVarKind old_var (substTy subst kind)
 	| otherwise = old_var
     kind = tyVarKind old_var
-    is_co_var = isCoercionKind kind
+    is_co_var = isCoVar old_var
 \end{code}
 
 ----------------------------------------------------
@@ -1465,14 +1465,6 @@ defaultKind k
   | isSubArgTypeKind k  = liftedTypeKind
   | otherwise        = k
 
-isCoercionKind :: Kind -> Bool
--- All coercions are of form (ty1 :=: ty2)
--- This function is here rather than in Coercion, 
--- because it's used by substTy
-isCoercionKind k | Just k' <- kindView k = isCoercionKind k'
-isCoercionKind (PredTy (EqPred {})) 	 = True
-isCoercionKind other			 = False
-
 isEqPred :: PredType -> Bool
 isEqPred (EqPred _ _) = True
 isEqPred other	      = False