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

partially fix Check Syntax for `begin-for-syntax'

Browse Source
This commit is contained in:
Matthew Flatt 2011-09-08 19:12:46 -06:00
parent 41bdb139d4
commit a274a7fd72
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/drracket/private/syncheck/traversals.rkt
View File

@ -185,7 +185,7 @@
(syntax-case* sexp (#%plain-lambda case-lambda if begin begin0 let-values letrec-values set! (syntax-case* sexp (#%plain-lambda case-lambda if begin begin0 let-values letrec-values set!
quote quote-syntax with-continuation-mark quote quote-syntax with-continuation-mark
#%plain-app #%top #%plain-module-begin #%plain-app #%top #%plain-module-begin
define-values define-syntaxes define-values-for-syntax module define-values define-syntaxes begin-for-syntax module
#%require #%provide #%expression) #%require #%provide #%expression)
(if high-level? free-transformer-identifier=? free-identifier=?) (if high-level? free-transformer-identifier=? free-identifier=?)
[(#%plain-lambda args bodies ...) [(#%plain-lambda args bodies ...)
@ -317,12 +317,10 @@
(add-binders (syntax names) binders binding-inits #'exp) (add-binders (syntax names) binders binding-inits #'exp)
(maybe-jump (syntax names)) (maybe-jump (syntax names))
(level-loop (syntax exp) #t))] (level-loop (syntax exp) #t))]
[(define-values-for-syntax names exp) [(begin-for-syntax exp ...)
(begin (begin
(annotate-raw-keyword sexp varrefs) (annotate-raw-keyword sexp varrefs)
(add-binders (syntax names) high-binders binding-inits #'exp) (for-each (lambda (e) (level-loop e #t)) (syntax->list (syntax (exp ...)))))]
(maybe-jump (syntax names))
(level-loop (syntax exp) #t))]
[(module m-name lang (#%plain-module-begin bodies ...)) [(module m-name lang (#%plain-module-begin bodies ...))
(begin (begin
(annotate-raw-keyword sexp varrefs) (annotate-raw-keyword sexp varrefs)