Remove InlinePlease and add inline function and RULE

[ghc-hetmet.git] / compiler / iface / TcIface.lhs

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index b902c8c..7c4c535 100644 (file)
--- 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}