[project @ 2000-08-31 19:55:20 by simonpj]

Add comment

diff --git a/ghc/compiler/simplCore/SimplMonad.lhs b/ghc/compiler/simplCore/SimplMonad.lhs
index e7dd9c7..fac41a7 100644 (file)
--- a/ghc/compiler/simplCore/SimplMonad.lhs
+++ b/ghc/compiler/simplCore/SimplMonad.lhs
@@ -561,8 +561,10 @@ noInlineBlackList :: BlackList
        -- We may as well do the same here.
 noInlineBlackList v = not (isCompulsoryUnfolding (idUnfolding v)) &&
                      not (isDataConWrapId v)
-       --                              ((v `isInScope` subst) || not (isLocallyDefined v))
-       -- I don't see why we have these conditions
+       -- NB: this implementation means that even inlinings *completely within*
+       -- an INLINE won't happen, which is perhaps overkill. 
+       -- An earlier verion had: (v `isInScope` subst) || not (isLocallyDefined v)
+       -- but it's more expensive, and it probably doesn't matter.
 \end{code}