Make INLINE warning more precise

c8ef1c4a · simonpj@microsoft.com · 6a944ae7 · c8ef1c4a
Commit c8ef1c4a authored Nov 19, 2009 by simonpj@microsoft.com
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

compiler/coreSyn/CoreLint.lhs compiler/coreSyn/CoreLint.lhs +3 -2

No files found.
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -189,8 +189,9 @@ lintSingleBinding top_lvl_flag rec_flag (binder,rhs)
        -- Check whether binder's specialisations contain any out-of-scope variables
       ; mapM_ (checkBndrIdInScope binder) bndr_vars 

-       ; when (isLoopBreaker (idOccInfo binder) && isInlinePragma (idInlinePragma binder))
-              (addWarnL (ptext (sLit "INLINE binder is loop breaker:") <+> ppr binder))
+       ; when (isNonRuleLoopBreaker (idOccInfo binder) && isInlinePragma (idInlinePragma binder))
+              (addWarnL (ptext (sLit "INLINE binder is (non-rule) loop breaker:") <+> ppr binder))
+	      -- Only non-rule loop breakers inhibit inlining

      -- Check whether arity and demand type are consistent (only if demand analysis
      -- already happened)