X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs;fp=compiler%2Ftypecheck%2FTcMatches.lhs;h=cb18b045006104e3f2f0fe4a74f93b4c01e6b1e3;hp=926d1dc09debc292b283bf33248c1b67d4172f79;hb=829a54156b8153ccc14e1cf4f100457b25c6f11f;hpb=b1ce368963545ea887d31a035040b867a4d0186e

diff --git a/compiler/typecheck/TcMatches.lhs b/compiler/typecheck/TcMatches.lhs
index 926d1dc..cb18b04 100644
--- a/compiler/typecheck/TcMatches.lhs
+++ b/compiler/typecheck/TcMatches.lhs
@@ -65,7 +65,8 @@ tcMatchesFun fun_name inf matches exp_ty
 	   -- sensible location.	Note: we have to do this odd
 	   -- ann-grabbing, because we don't always have annotations in
 	   -- hand when we call tcMatchesFun...
-	  checkArgs fun_name matches
+          traceTc (text "tcMatchesFun" <+> (ppr fun_name $$ ppr exp_ty))
+	; checkArgs fun_name matches
 
 	-- ToDo: Don't use "expected" stuff if there ain't a type signature
 	-- because inconsistency between branches