From 284d772a959ae9a0dba20a88301890c31d996922 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 9 Apr 2012 16:08:03 -0400 Subject: [PATCH] Don't assume self-inline when in doubt. This avoids cases where a non-recursive function would be considered to be unrolled, which makes no sense. --- collects/typed-racket/optimizer/tool/mzc.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index 6616968c76..ff3b8c08d8 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -133,8 +133,7 @@ (and (equal? path where-path) (= col where-col) (= line where-line))] - [(hunoz #f) #t] ; we assume it is, to be conservative - [(hunoz hukairz) #f])])) + [(hunoz hukairz) #f])])) ; we assume it is not, to be conservative (define (unrolling? l) (and (success? l) (self-inline? l)))