diff options
| -rw-r--r-- | compiler/simplCore/SimplUtils.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/simplCore/SimplUtils.hs b/compiler/simplCore/SimplUtils.hs index db7485551c..effd2121e9 100644 --- a/compiler/simplCore/SimplUtils.hs +++ b/compiler/simplCore/SimplUtils.hs @@ -996,14 +996,14 @@ Example ...fInt...fInt...fInt... -Here f occurs just once, in the RHS of f1. But if we inline it there +Here f occurs just once, in the RHS of fInt. But if we inline it there we'll lose the opportunity to inline at each of fInt's call sites. The INLINE pragma will only inline when the application is saturated for exactly this reason; and we don't want PreInlineUnconditionally to second-guess it. A live example is Trac #3736. c.f. Note [Stable unfoldings and postInlineUnconditionally] -Note [Top-level botomming Ids] +Note [Top-level bottoming Ids] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Don't inline top-level Ids that are bottoming, even if they are used just once, because FloatOut has gone to some trouble to extract them out. |