From a274a7fd724a7628c229d2ec5621168f73499db2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Sep 2011 19:12:46 -0600 Subject: [PATCH] partially fix Check Syntax for `begin-for-syntax' --- collects/drracket/private/syncheck/traversals.rkt | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/collects/drracket/private/syncheck/traversals.rkt b/collects/drracket/private/syncheck/traversals.rkt index e156fd40da..e986f7f0e3 100644 --- a/collects/drracket/private/syncheck/traversals.rkt +++ b/collects/drracket/private/syncheck/traversals.rkt @@ -185,7 +185,7 @@ (syntax-case* sexp (#%plain-lambda case-lambda if begin begin0 let-values letrec-values set! quote quote-syntax with-continuation-mark #%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) (if high-level? free-transformer-identifier=? free-identifier=?) [(#%plain-lambda args bodies ...) @@ -317,12 +317,10 @@ (add-binders (syntax names) binders binding-inits #'exp) (maybe-jump (syntax names)) (level-loop (syntax exp) #t))] - [(define-values-for-syntax names exp) + [(begin-for-syntax exp ...) (begin (annotate-raw-keyword sexp varrefs) - (add-binders (syntax names) high-binders binding-inits #'exp) - (maybe-jump (syntax names)) - (level-loop (syntax exp) #t))] + (for-each (lambda (e) (level-loop e #t)) (syntax->list (syntax (exp ...)))))] [(module m-name lang (#%plain-module-begin bodies ...)) (begin (annotate-raw-keyword sexp varrefs)