X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=7c4c5354c6252b36975257d524b51c32a821d63d;hb=e1231b2bcb1c9294c2ecdf150e9aad72a0caa253;hp=b902c8c5fe6281fa0d0f8637bcee4c2a2ed9a1f8;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index b902c8c..7c4c535 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -639,7 +639,6 @@ tcIfaceExpr (IfaceNote note expr) 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') @@ -751,7 +750,8 @@ tcIdInfo name ty (HasInfo info) = foldlM tcPrag init_info info -- 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 @@ -760,8 +760,7 @@ tcIdInfo name ty (HasInfo info) = foldlM tcPrag init_info info Nothing -> noUnfolding Just expr' -> mkTopUnfolding expr' in - returnM (info `setUnfoldingInfoLazily` unfold_info - `setInlinePragInfo` inline_prag) + returnM (info `setUnfoldingInfoLazily` unfold_info) \end{code} \begin{code}