From 0ff3aafed610317e781ae81a6648f6625592a4d3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 29 Jul 2011 18:04:45 -0400 Subject: [PATCH] Speed up Performance Report on unsaved files. --- collects/typed-scheme/optimizer/tool/report.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/optimizer/tool/report.rkt b/collects/typed-scheme/optimizer/tool/report.rkt index e4225a2a5e..5d8b8f9016 100644 --- a/collects/typed-scheme/optimizer/tool/report.rkt +++ b/collects/typed-scheme/optimizer/tool/report.rkt @@ -49,14 +49,14 @@ #t] [good-portname-cache ; cache is populated, but we have the wrong file #f] - ;; no cache, ask directly - [(send this port-name-matches? path) - (set! good-portname-cache path) ; populate cache - #t] [unsaved-file? ;; we assume that any log entry without a filename comes from ;; the unsaved editor (not path)] + ;; no cache, ask directly + [(send this port-name-matches? path) + (set! good-portname-cache path) ; populate cache + #t] [else ; different file #f])) (define sandbox