X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMType.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcMType.lhs;h=fd0d1cac721d2f6fddf59c3c2890d44dba282279;hb=89627230a1b0e25a148621509d19297454f692eb;hp=97be0a9816087a2cadd0af4be12cf5c25c367b7a;hpb=70cfef77ff00fbd4a57f733045e62ce0a7ba1307;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs
index 97be0a9..fd0d1ca 100644
--- a/ghc/compiler/typecheck/TcMType.lhs
+++ b/ghc/compiler/typecheck/TcMType.lhs
@@ -63,7 +63,7 @@ import TcType		( TcType, TcThetaType, TcTauType, TcPredType,
 			  tyVarsOfPred, getClassPredTys_maybe,
 			  tyVarsOfType, tyVarsOfTypes, 
 			  pprPred, pprTheta, pprClassPred )
-import Kind		( Kind(..), KindVar(..), mkKindVar, isSubKind,
+import Kind		( Kind(..), KindVar, kindVarRef, mkKindVar, isSubKind,
 			  isLiftedTypeKind, isArgTypeKind, isOpenTypeKind,
 			  liftedTypeKind, defaultKind
 			)
@@ -589,8 +589,8 @@ zonkTyVar unbound_var_fn rflag tyvar
 \begin{code}
 readKindVar  :: KindVar -> TcM (Maybe TcKind)
 writeKindVar :: KindVar -> TcKind -> TcM ()
-readKindVar  (KVar _ ref)     = readMutVar ref
-writeKindVar (KVar _ ref) val = writeMutVar ref (Just val)
+readKindVar  kv = readMutVar (kindVarRef kv)
+writeKindVar kv val = writeMutVar (kindVarRef kv) (Just val)
 
 -------------
 zonkTcKind :: TcKind -> TcM TcKind