suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Extended typed Scheme's optimizer to traverse more forms.

Browse Source 
original commit: b543177868f97a7cfe0bdf57f555da4d580ef726
This commit is contained in:
Vincent St-Amour 2010-05-13 11:07:09 -04:00
parent 1f7ab8285d
commit a781b50533
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/optimize.rkt
View File

@ -56,6 +56,8 @@
#:with opt #'(op.unsafe p.opt))
(pattern (#%plain-app e ...)
#:with opt #'(#%plain-app e.opt ...))
(pattern (lambda (x ...) e ...)
#:with opt #'(lambda (x ...) e.opt ...))
(pattern other:expr
#:with opt #'other))
@ -63,4 +65,6 @@
(syntax-parse stx #:literal-sets (kernel-literals)
[(define-values ~! ids e:opt-expr)
(syntax/loc stx (define-values ids e.opt))]
[(#%app e:opt-expr ...) (syntax/loc stx (#%app e.opt ...))]
[(#%plain-app e:opt-expr ...) (syntax/loc stx (#%plain-app e.opt ...))]
[_ stx]))