diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-22 17:34:30 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-22 17:34:30 +0000 |
| commit | 65e41952841e2c7deb83a5a3d1a62215524090f8 (patch) | |
| tree | 08271c7c14efb470e66e54bda788813661552e67 /ghc | |
| parent | 5469388bdee59967f8262d5285ff9522d52ff191 (diff) | |
| download | haskell-65e41952841e2c7deb83a5a3d1a62215524090f8.tar.gz | |
Use pprTypeForUser when printing kinds in ghci
Diffstat (limited to 'ghc')
| -rw-r--r-- | ghc/InteractiveUI.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ghc/InteractiveUI.hs b/ghc/InteractiveUI.hs index 93275464e8..bc85b458d1 100644 --- a/ghc/InteractiveUI.hs +++ b/ghc/InteractiveUI.hs @@ -1420,7 +1420,9 @@ kindOfType norm str = handleSourceError GHC.printException $ do (ty, kind) <- GHC.typeKind norm str - printForUser $ vcat [ text str <+> dcolon <+> ppr kind + dflags <- getDynFlags + let pefas = gopt Opt_PrintExplicitForalls dflags + printForUser $ vcat [ text str <+> dcolon <+> pprTypeForUser pefas kind , ppWhen norm $ equals <+> ppr ty ] |