projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
394e677
)
[project @ 2000-08-31 19:55:20 by simonpj]
author
simonpj
<unknown>
Thu, 31 Aug 2000 19:55:20 +0000
(19:55 +0000)
committer
simonpj
<unknown>
Thu, 31 Aug 2000 19:55:20 +0000
(19:55 +0000)
Add comment
ghc/compiler/simplCore/SimplMonad.lhs
patch
|
blob
|
history
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)
-- 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}
\end{code}