Commit ade2870f authored by Ian Lynagh's avatar Ian Lynagh
Browse files

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
parent 3a268658
......@@ -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}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment