From: Ian Lynagh <igloo@earth.li>
Date: Wed, 5 Mar 2008 01:12:42 +0000 (+0000)
Subject: Improve no-type-signature warning
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ade2870f9be663775e9fc62cf43edf967e268199

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
---

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}