Fix tc-toplevel-form for ignored syntax

2013-05-14 14:14:07 -04:00 · 2013-05-14 14:14:07 -04:00 · 2c042998b9
commit 2c042998b9
parent 3651974c6e
1 changed files with 3 additions and 0 deletions
--- 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))]