saBinds :: DynFlags -> [CoreBind] -> IO [CoreBind]
saBinds dflags binds
= do {
- showPass dflags "Strictness analysis";
-
-- Mark each binder with its strictness
#ifndef OMIT_STRANAL_STATS
let { (binds_w_strictness, sa_stats) = runState $ (saTopBinds binds) nullSaStats };
let { binds_w_strictness = unSaM $ saTopBindsBinds binds };
#endif
- endPass dflags "Strictness analysis" Opt_D_dump_stranal
- binds_w_strictness
+ return binds_w_strictness
}
\end{code}
else demanded)
pp_stats (SaStats tlam dlam tc dc tlet dlet)
- = hcat [ptext SLIT("Lambda vars: "), int (iBox dlam), char '/', int (iBox tlam),
- ptext SLIT("; Case vars: "), int (iBox dc), char '/', int (iBox tc),
- ptext SLIT("; Let vars: "), int (iBox dlet), char '/', int (iBox tlet)
+ = hcat [ptext (sLit "Lambda vars: "), int (iBox dlam), char '/', int (iBox tlam),
+ ptext (sLit "; Case vars: "), int (iBox dc), char '/', int (iBox tc),
+ ptext (sLit "; Let vars: "), int (iBox dlet), char '/', int (iBox tlet)
]
#else /* OMIT_STRANAL_STATS */