X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=417e88aa42d0eeab3c9609fa1e51cc780ffb43ec;hp=d8f0d17a9f1808828003855a5080a58187e5428c;hb=ac704fcac946590eef0ec91ae19f3b47d779a75f;hpb=28d732c362e13e58d653b3dc15fd376c3f0c54c2

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index d8f0d17..417e88a 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -94,7 +94,7 @@ instToVar (LitInst {tci_name = nm, tci_ty = ty})
 instToVar (Method {tci_id = id}) 
   = id
 instToVar (Dict {tci_name = nm, tci_pred = pred})    
-  | isEqPred pred = Var.mkTyVar nm (mkPredTy pred)
+  | isEqPred pred = Var.mkCoVar nm (mkPredTy pred)
   | otherwise	  = mkLocalId nm (mkPredTy pred)
 
 instLoc inst = tci_loc inst