From da368d9e466918490e8b4d4f19f1dcf71b4976cf Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 21 Mar 2014 23:45:08 -0700 Subject: [PATCH] Fix use of expected type of ignore expressions. original commit: ca082c2176ce8bd79e8bb572d7a0a8d2e53b225f --- .../typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index f50396af..18bc5e5e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt @@ -244,7 +244,7 @@ (register-ignored! form) (check-subforms/ignore form) ;; We trust ignore to be only on syntax objects objects that are well typed - expected] + (ret -Bottom)] ;; explicit failure [t:typecheck-failure (explicit-fail #'t.stx #'t.message #'t.var)]