From a9a79c0e4af706701b7bc935a9c4fe2d33f82b35 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 original commit: 2c042998b9e8d6a62cd9a3ad4c7d576a6a3b052e --- 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 39393865..7823a255 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))]