Add back ignore-some typechecking

2012-08-08 20:48:14 -07:00 · 2012-08-08 20:48:14 -07:00 · 8545f421ab
commit 8545f421ab
parent 533920480e
1 changed files with 5 additions and 0 deletions
--- a/collects/typed-racket/typecheck/tc-toplevel.rkt
+++ b/collects/typed-racket/typecheck/tc-toplevel.rkt
@ -186,6 +186,11 @@
       (syntax-property form 'typechecker:ignore)
       (void)]

+      ;; this is a form that we mostly ignore, but we check some interior parts
+      [stx
+       (syntax-property form 'typechecker:ignore-some)
+       (check-subforms/ignore form)]
+
      ;; these forms should always be ignored
      [(#%require . _) (void)]
      [(#%provide . _) (void)]