X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FVar.lhs;h=e66286ee82ea3aee7e83fbf479c436ad2f79cb56;hb=b6d08641e2757898470a10dfa906084ade8ab835;hp=4b58a328c94003e52f08adad3e6ca27568b14a52;hpb=f8c52d7fde2d7408b4f734251c373f8d3e2c558e;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs
index 4b58a32..e66286e 100644
--- a/compiler/basicTypes/Var.lhs
+++ b/compiler/basicTypes/Var.lhs
@@ -231,10 +231,11 @@ setCoVarName   = setVarName
 
 mkCoVar :: Name -> Kind -> CoVar
 mkCoVar name kind = ASSERT( isCoercionKind kind )
-		    TyVar { varName    = name
-			  , realUnique = getKey# (nameUnique name)
-			  , varType  = kind
-                          , isCoercionVar    = True
+		    TyVar { varName    	  = name
+			  , realUnique 	  = getKey# (nameUnique name)
+			  , varType    	  = kind	
+				-- varType is always PredTy (EqPred t1 t2)
+                          , isCoercionVar = True
 			}
 
 mkWildCoVar :: Kind -> TyVar