Commit b2223682 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Be less verbose when printing out Vars

For some reason we were printing every occurrence with its type
and that is far too much.
parent 98a642cf
......@@ -85,7 +85,7 @@ import FastTypes
import FastString
import Outputable
import StaticFlags ( opt_SuppressVarKinds )
-- import StaticFlags ( opt_SuppressVarKinds )
import Data.Data
\end{code}
......@@ -211,9 +211,11 @@ After CoreTidy, top-level LocalIds are turned into GlobalIds
\begin{code}
instance Outputable Var where
ppr var = ifPprDebug (text "(") <+> ppr (varName var) <+> ifPprDebug (brackets (ppr_debug var))
<+> if (not opt_SuppressVarKinds) then ifPprDebug (text "::" <+> ppr (tyVarKind var) <+> text ")")
else empty
ppr var = ppr (varName var) <+> ifPprDebug (brackets (ppr_debug var))
-- Printing the type on every occurrence is too much!
-- <+> if (not opt_SuppressVarKinds)
-- then ifPprDebug (text "::" <+> ppr (tyVarKind var) <+> text ")")
-- else empty
ppr_debug :: Var -> SDoc
ppr_debug (TyVar {}) = ptext (sLit "tv")
......
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