Report "bridgehead" inlinings as successes, even if further inlinings fail.

2012-09-13 13:12:57 -04:00 · 2012-09-13 13:12:57 -04:00 · bb9f4e4634
commit bb9f4e4634
parent 28d4eb4d22
1 changed files with 7 additions and 6 deletions
--- a/collects/typed-racket/optimizer/tool/mzc.rkt
+++ b/collects/typed-racket/optimizer/tool/mzc.rkt
@ -220,12 +220,13 @@
             ;; in `g'.
             (apply
              append
-              (for/list ([site (in-list inlining-sites)]
-                         #:when
-                         ;; If at least one inlining of `f' in `g', prune.
-                         (not (for/or ([evt (in-list site)])
-                                (success? evt))))
-                site))))
+              (for/list ([site (in-list inlining-sites)])
+                ;; If at least one inlining of `f' in `g', ignore the rest.
+                (or (for/first ([evt (in-list site)] #:when (success? evt))
+                      (list evt))
+                    site)))))
+       (when (null? pruned-log)
+         (prune))

       (define recommendation
         (cond [is-a-loop?