From 09e2e75f0641209687fff0d0d97e209bc4b20599 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 29 May 2013 22:07:34 -0700 Subject: [PATCH] Minor optimizer cleanup. original commit: 8baccb2af51538ad1e8d99fefe981a968b1dbbf8 --- .../typed-racket/optimizer/optimizer.rkt | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/optimizer.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/optimizer.rkt index e885f1ca..f4d16ed9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/optimizer.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/optimizer.rkt @@ -17,6 +17,11 @@ (define-syntax-class opt-expr #:commit #:literal-sets (kernel-literals) + #:attributes (opt) + (pattern opt:expr + #:when (or (ignore-property #'opt) + (ignore-some-property #'opt) + (with-handlers-property #'opt))) ;; can't optimize the body of this code because it isn't typechecked (pattern ((~and op (~literal let-values)) @@ -86,18 +91,7 @@ #:with opt #'other)) (define (optimize-top stx) - (parameterize - ([optimize - (syntax-parser - [e:expr - #:when (and (not (ignore-property #'e)) - (not (ignore-some-property #'e)) - (not (with-handlers-property #'e)) - #; - (not (kw-lambda-property #'e))) - #:with e*:opt-expr #'e - #'e*.opt] - [e:expr #'e])]) + (parameterize ([optimize (syntax-parser [e:opt-expr #'e.opt])]) (let ((result ((optimize) stx))) (when *show-optimized-code* (pretty-print (syntax->datum result)))