Add back ignore-some typechecking

original commit: 8545f421abfe3e4fb689e12d19ec05b109660e5b
2012-08-08 20:48:14 -07:00 · 2012-08-08 20:48:14 -07:00 · 8086da4e7e
commit 8086da4e7e
parent 20da55c55d
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)]