Fix use of expected type of ignore expressions.

original commit: ca082c2176ce8bd79e8bb572d7a0a8d2e53b225f
2014-03-21 23:45:08 -07:00 · 2014-03-21 23:45:08 -07:00 · da368d9e46
commit da368d9e46
parent df3d7d642b
1 changed files with 1 additions and 1 deletions
--- 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)]