; case sc_count env of
Just max | not force_spec && spec_count' > max
-> pprTrace "SpecConstr" msg $
return (nullUsage, spec_info)
where
msg = vcat [ sep [ ptext (sLit "Function") <+> quotes (ppr fn)
; case sc_count env of
Just max | not force_spec && spec_count' > max
-> pprTrace "SpecConstr" msg $
return (nullUsage, spec_info)
where
msg = vcat [ sep [ ptext (sLit "Function") <+> quotes (ppr fn)