X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcType.lhs;h=1c35bda47755baaede113730a69bb0b4151b3607;hb=2c8f04b5b883db74f449dfc8c224929fe28b027d;hp=9cb41124d81f7b8d8b9d369c5c3ef4d4427c5972;hpb=c29022c49449b7d8862dcc2259e16cafe9461945;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index 9cb4112..1c35bda 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -233,6 +233,9 @@ tcInstSigType ty_to_inst
   where
     bind_fn = inst_sig_tyvar	-- Note: inst_sig_tyvar, not inst_tyvar
 				-- I don't think that can lead to strange error messages
+				-- of the form can't match (T a) against (T a)
+				-- See notes with inst_tyvar
+
     occ_fn env tyvar = case lookupTyVarEnv env tyvar of
 			 Just ty -> returnNF_Tc ty
 			 Nothing -> panic "tcInstType:2"-- (vcat [ppr ty_to_inst,