X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=1acef7c6fa276ff93a700ce0be6d8c0845e10b44;hb=3787d9878e4d62829a555f01b2a4c5866f24f303;hp=08938508cdc00d2bc9eb6baa9852d74080dbaf3e;hpb=d31018bce01934b8399a15dbcae35be0827b45d1;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index 0893850..1acef7c 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -924,7 +924,7 @@ tcGen expected_ty extra_tvs thing_inside	-- We expect expected_ty to be a forall
 	-- list of "free vars" for the signature check.
 
 	; loc <- getInstLoc (SigOrigin skol_info)
-	; dicts <- newDictBndrs loc theta'
+	; dicts <- newDictBndrs loc theta'	-- Includes equalities
 	; inst_binds <- tcSimplifyCheck loc tvs' dicts lie
 
 	; checkSigTyVarsWrt free_tvs tvs'