X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=e17d0b007275a8e95fb4a75d8fdb7fc5c9dafdff;hb=2423c249f5ca7785d0ec89eb33e72662da7561c1;hp=672deae68be2163872948f37a7d084f5d69dac93;hpb=ab22f4e6456820c1b5169d75f5975a94e61f54ce;p=ghc-hetmet.git

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 672deae..e17d0b0 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -39,7 +39,7 @@ module Coercion (
 import TypeRep
 import Type
 import TyCon
-import Var hiding (isCoVar)
+import Var
 import Name
 import OccName
 import PrelNames
@@ -91,9 +91,6 @@ splitCoercionKind_maybe co | Just co' <- kindView co = splitCoercionKind_maybe c
 splitCoercionKind_maybe (PredTy (EqPred ty1 ty2)) = Just (ty1, ty2)
 splitCoercionKind_maybe other = Nothing
 
-isCoVar :: Var -> Bool
-isCoVar tv = isTyVar tv && isCoercionKind (tyVarKind tv)
-
 type Coercion     = Type
 type CoercionKind = Kind	-- A CoercionKind is always of form (ty1 :=: ty2)