diff --git a/collects/typed-scheme/optimizer/optimizer.rkt b/collects/typed-scheme/optimizer/optimizer.rkt index 685e1a9e..ac792fe0 100644 --- a/collects/typed-scheme/optimizer/optimizer.rkt +++ b/collects/typed-scheme/optimizer/optimizer.rkt @@ -86,6 +86,7 @@ [optimize (syntax-parser [e:expr #:when (and (not (syntax-property #'e 'typechecker:ignore)) + (not (syntax-property #'e 'typechecker:ignore-some)) (not (syntax-property #'e 'typechecker:with-handlers))) #:with e*:opt-expr #'e #'e*.opt]