From 2c042998b9e8d6a62cd9a3ad4c7d576a6a3b052e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 14 May 2013 14:14:07 -0400 Subject: [PATCH] Fix tc-toplevel-form for ignored syntax --- collects/typed-racket/typecheck/tc-toplevel.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt index 39393865be..7823a25594 100644 --- a/collects/typed-racket/typecheck/tc-toplevel.rkt +++ b/collects/typed-racket/typecheck/tc-toplevel.rkt @@ -419,6 +419,9 @@ (define (tc-toplevel-form form) (syntax-parse form [((~literal begin) e ...) + ;; Don't open up `begin`s that are supposed to be ignored + #:when (not (or (syntax-property form 'typechecker:ignore) + (syntax-property form 'typechecker:ignore-some))) (for-each tc-toplevel-form (syntax->list #'(e ...))) (begin0 (values #f (tc-toplevel/pass2 form)) (report-all-errors))]