From 8545f421abfe3e4fb689e12d19ec05b109660e5b Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 8 Aug 2012 20:48:14 -0700 Subject: [PATCH] Add back ignore-some typechecking --- collects/typed-racket/typecheck/tc-toplevel.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt index ee052c95c1..d596410ca4 100644 --- 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)]