From a479e9d5e3fec2052c3e34923d4f58db8d10b36b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 23 Jul 2010 17:03:02 -0400 Subject: [PATCH] The optimizer now ignores expressions ignored by the typechecker. original commit: 82b064a520405575ea69e453dfd768ac2df2b17c --- collects/typed-scheme/optimizer/optimizer.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/optimizer.rkt b/collects/typed-scheme/optimizer/optimizer.rkt index d7ea4dff..f5303671 100644 --- a/collects/typed-scheme/optimizer/optimizer.rkt +++ b/collects/typed-scheme/optimizer/optimizer.rkt @@ -69,7 +69,12 @@ (current-output-port)))) (begin0 (parameterize ([current-output-port port] - [optimize (syntax-parser [e:opt-expr #'e.opt])]) + [optimize (syntax-parser + [e:expr + #:when (not (syntax-property #'e 'typechecker:ignore)) + #:with e*:opt-expr #'e + #'e*.opt] + [e:expr #'e])]) ((optimize) stx)) (when (and *log-optimizations?* *log-optimizatons-to-log-file?*)