IdInfo, -- Abstract
noIdInfo,
- ppIdInfo,
-- Arity
ArityInfo(..),
}
\end{code}
-\begin{code}
-ppIdInfo :: IdInfo -> SDoc
-ppIdInfo (IdInfo {arityInfo = a,
- demandInfo = d,
- strictnessInfo = s,
- updateInfo = u,
- cafInfo = c
- })
- = hsep [
- ppArityInfo a,
- ppUpdateInfo u,
- ppStrictnessInfo s,
- ppr d,
- ppCafInfo c
- -- Inline pragma printed out with all binders; see PprCore.pprIdBndr
- ]
-\end{code}
-
%************************************************************************
%* *
\subsection[arity-IdInfo]{Arity info about an @Id@}
where pi' :: Lift Int# is the specialised version of pi.
-
%************************************************************************
%* *
\subsection[strictness-IdInfo]{Strictness info about an @Id@}