From 829a54156b8153ccc14e1cf4f100457b25c6f11f Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Mon, 19 Jul 2010 21:11:11 +0000 Subject: [PATCH] Add a trace message --- compiler/typecheck/TcMatches.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4