import Var
import Id
import IdInfo
-import NewDemand
-#ifdef OLD_STRICTNESS
-import Id
-import IdInfo
-#endif
-
+import Demand
import DataCon
import TyCon
import Type
-- Case bound things don't get a signature or a herald, unless we have debug on
pprCoreBinder CaseBind bndr
- | isDeadBinder bndr -- False for tyvars
- = ptext (sLit "_")
- | otherwise
= getPprStyle $ \ sty ->
if debugStyle sty then
parens (pprTypedBinder bndr)
where
prag_info = inlinePragInfo info
occ_info = occInfo info
- dmd_info = newDemandInfo info
+ dmd_info = demandInfo info
lbv_info = lbvarInfo info
has_prag = not (isDefaultInlinePragma prag_info)
[ (True, pp_scope <> ppr (idDetails id))
, (has_arity, ptext (sLit "Arity=") <> int arity)
, (has_caf_info, ptext (sLit "Caf=") <> ppr caf_info)
- , (has_strictness, ptext (sLit "Str=") <> pprNewStrictness str_info)
+ , (has_strictness, ptext (sLit "Str=") <> pprStrictness str_info)
, (has_unf, ptext (sLit "Unf=") <> ppr unf_info)
, (not (null rules), ptext (sLit "RULES:") <+> vcat (map pprRule rules))
] -- Inline pragma, occ, demand, lbvar info
caf_info = cafInfo info
has_caf_info = not (mayHaveCafRefs caf_info)
- str_info = newStrictnessInfo info
+ str_info = strictnessInfo info
has_strictness = isJust str_info
unf_info = unfoldingInfo info
UnfoldNever -> usually_empty
UnfoldIfGoodArgs {} -> usually_empty
_other -> pp_tmpl
- usually_empty = ifPprDebug pp_tmpl
- -- In this case show 'rhs' only in debug mode
+ usually_empty = ifPprDebug (ptext (sLit "<rhs>"))
+ -- Don't print the RHS or we get a quadratic
+ -- blowup in the size of the printout!
\end{code}
-----------------------------------------------------