Commit 65e41952 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Use pprTypeForUser when printing kinds in ghci

parent 5469388b
......@@ -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 ]
......
Markdown is supported
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