From 191f7a5f17f0ffdb87f52626b5bbeddcef897002 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 29 Jul 2011 18:02:24 -0400 Subject: [PATCH] Add an early failure case for portname matching. --- collects/typed-scheme/optimizer/tool/report.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/optimizer/tool/report.rkt b/collects/typed-scheme/optimizer/tool/report.rkt index 28444573bd..e4225a2a5e 100644 --- a/collects/typed-scheme/optimizer/tool/report.rkt +++ b/collects/typed-scheme/optimizer/tool/report.rkt @@ -47,6 +47,8 @@ (cond [(and good-portname-cache ; cache is populated (equal? path good-portname-cache)) #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