summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3a26865)
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
; addWarnTcM (env1, mk_msg tidy_ty) }
where
mk_msg ty = vcat [ptext SLIT("Definition but no type signature for") <+> quotes (ppr name),
; 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]]