X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FUnify.lhs;h=a9586b6bf4f82628d21c0ed6e1e4b9c5e5301381;hb=f87cc9cfccf83b21a66501f9654d3e6f1fa7adb4;hp=07c927ca802641827de359c7e001aa128a8f9dee;hpb=5e5310b3cb4f78e30cc7b90879eb016e97c214cb;p=ghc-hetmet.git

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index 07c927c..a9586b6 100644
--- a/compiler/types/Unify.lhs
+++ b/compiler/types/Unify.lhs
@@ -16,7 +16,7 @@ module Unify (
 	Refinement, emptyRefinement, isEmptyRefinement, 
 	matchRefine, refineType, refinePred, refineResType,
 
-        -- side-effect free unification
+        -- Side-effect free unification
         tcUnifyTys, BindFlag(..)
 
    ) where
@@ -206,7 +206,7 @@ match_kind :: MatchEnv -> TvSubstEnv -> TyVar -> Type -> Maybe TvSubstEnv
 -- Match the kind of the template tyvar with the kind of Type
 -- Note [Matching kinds]
 match_kind menv subst tv ty
-  | isCoVar tv = do { let (ty1,ty2) = splitCoercionKind (tyVarKind tv)
+  | isCoVar tv = do { let (ty1,ty2) = coVarKind tv
 			  (ty3,ty4) = coercionKind ty
 		    ; subst1 <- match menv subst ty1 ty3
 		    ; match menv subst1 ty2 ty4 }