From ade2870f9be663775e9fc62cf43edf967e268199 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 5 Mar 2008 01:12:42 +0000 Subject: [PATCH] Improve no-type-signature warning Instead of Warning: Definition but no type signature for `.+.' Inferred type: .+. :: forall a. a we now say Warning: Definition but no type signature for `.+.' Inferred type: (.+.) :: forall a. a --- compiler/typecheck/TcBinds.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs index ea2860a..e3bd657 100644 --- a/compiler/typecheck/TcBinds.lhs +++ b/compiler/typecheck/TcBinds.lhs @@ -1200,5 +1200,5 @@ missingSigWarn True name ty ; addWarnTcM (env1, mk_msg tidy_ty) } where mk_msg ty = vcat [ptext SLIT("Definition but no type signature for") <+> quotes (ppr name), - sep [ptext SLIT("Inferred type:") <+> ppr name <+> dcolon <+> ppr ty]] + sep [ptext SLIT("Inferred type:") <+> pprHsVar name <+> dcolon <+> ppr ty]] \end{code} -- 1.7.10.4