IfaceCoerce to_ty -> tcIfaceType to_ty `thenM` \ to_ty' ->
returnM (Note (Coerce to_ty'
(exprType expr')) expr')
- IfaceInlineCall -> returnM (Note InlineCall expr')
IfaceInlineMe -> returnM (Note InlineMe expr')
IfaceSCC cc -> returnM (Note (SCC cc) expr')
IfaceCoreNote n -> returnM (Note (CoreNote n) expr')
-- The next two are lazy, so they don't transitively suck stuff in
tcPrag info (HsWorker nm arity) = tcWorkerInfo ty info nm arity
- tcPrag info (HsUnfold inline_prag expr)
+ tcPrag info (HsInline inline_prag) = returnM (info `setInlinePragInfo` inline_prag)
+ tcPrag info (HsUnfold expr)
= tcPragExpr name expr `thenM` \ maybe_expr' ->
let
-- maybe_expr' doesn't get looked at if the unfolding
Nothing -> noUnfolding
Just expr' -> mkTopUnfolding expr'
in
- returnM (info `setUnfoldingInfoLazily` unfold_info
- `setInlinePragInfo` inline_prag)
+ returnM (info `setUnfoldingInfoLazily` unfold_info)
\end{code}
\begin{code}