X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreSubst.lhs;h=efd573d85bd5bf5edd0d773e6f3451ba9d935d39;hp=0c0ca157a5f4fe8ddaa8baf8c0fcd54ecac0d433;hb=b69a0de34fa76b3ba0c97e8c6e9782686aa8282c;hpb=354d1eb692be9fa5683dab82258062ebc61fdb2d diff --git a/compiler/coreSyn/CoreSubst.lhs b/compiler/coreSyn/CoreSubst.lhs index 0c0ca15..efd573d 100644 --- a/compiler/coreSyn/CoreSubst.lhs +++ b/compiler/coreSyn/CoreSubst.lhs @@ -566,13 +566,13 @@ substUnfoldingSource (Subst in_scope ids _) (InlineWrapper wkr) | Just wkr_expr <- lookupVarEnv ids wkr = case wkr_expr of Var w1 -> InlineWrapper w1 - _other -> WARN( True, text "Interesting! CoreSubst.substWorker1:" <+> ppr wkr - <+> ifPprDebug (equals <+> ppr wkr_expr) ) + _other -> -- WARN( True, text "Interesting! CoreSubst.substWorker1:" <+> ppr wkr + -- <+> ifPprDebug (equals <+> ppr wkr_expr) ) -- Note [Worker inlining] InlineRule -- It's not a wrapper any more, but still inline it! | Just w1 <- lookupInScope in_scope wkr = InlineWrapper w1 - | otherwise = WARN( True, text "Interesting! CoreSubst.substWorker2:" <+> ppr wkr ) + | otherwise = -- WARN( True, text "Interesting! CoreSubst.substWorker2:" <+> ppr wkr ) -- This can legitimately happen. The worker has been inlined and -- dropped as dead code, because we don't treat the UnfoldingSource -- as an "occurrence".