X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=67a6743c374e0a526f97485870226cdd6a26cf86;hp=21578c0d747a62558c3be9096124073401d984a4;hb=4ba96c06f2b69ea1fe2b27718013713e94c1520c;hpb=0bca9b76899d5baab892d26d6054db5b7189392c

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index 21578c0..67a6743 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -858,8 +858,8 @@ tcGen expected_ty extra_tvs thing_inside	-- We expect expected_ty to be a forall
 
 	; let
 	    -- The WpLet binds any Insts which came out of the simplification.
-		dict_ids = map instToId dicts
-		co_fn = mkWpTyLams tvs' <.> mkWpLams dict_ids <.> WpLet inst_binds
+	    dict_vars = map instToVar dicts
+	    co_fn = mkWpTyLams tvs' <.> mkWpLams dict_vars <.> WpLet inst_binds
 	; returnM (co_fn, result) }
   where
     free_tvs = tyVarsOfType expected_ty `unionVarSet` extra_tvs