diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-26 08:37:47 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-26 11:54:23 +0100 |
| commit | 796f0f2ad7eefd1c9af5a7ef9bf56848067e85b1 (patch) | |
| tree | 49b8e5ccc46a2455f0a0ef094a5af369de01e838 /compiler/rename/RnNames.hs | |
| parent | bc7c730c613f5c35eea512955728d1e7a0d01aa9 (diff) | |
| download | haskell-796f0f2ad7eefd1c9af5a7ef9bf56848067e85b1.tar.gz | |
Print foralls in user format
This fixes Trac #12597: in RnNames.warnMissingSignatures,
use pprSigmaType not pprType
Diffstat (limited to 'compiler/rename/RnNames.hs')
| -rw-r--r-- | compiler/rename/RnNames.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rename/RnNames.hs b/compiler/rename/RnNames.hs index f0c7bb941d..6b4942f41f 100644 --- a/compiler/rename/RnNames.hs +++ b/compiler/rename/RnNames.hs @@ -1615,7 +1615,7 @@ warnMissingSignatures gbl_env = do { env <- tcInitTidyEnv -- Why not use emptyTidyEnv? ; let name = idName id (_, ty) = tidyOpenType env (idType id) - ty_msg = ppr ty + ty_msg = pprSigmaType ty ; add_warn name $ hang (text "Top-level binding with no type signature:") 2 (pprPrefixName name <+> dcolon <+> ty_msg) } |