Fix check-unreachable-code? mode in TR

original commit: 07c944f337345932544bcbfce6956fe3d175c130
2014-06-11 16:32:02 -04:00 · 2014-06-11 16:32:02 -04:00 · 0058d5d0de
commit 0058d5d0de
parent 2bce000075
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
@ -25,7 +25,7 @@
      ;; otherwise, this code is unreachable
      ;; and the resulting type should be the empty type
      [(check-unreachable-code?)
-       (tc-expr/check expr Univ)
+       (tc-expr expr)
       (ret (Un))]
      [else (ret (Un))]))
  (match (single-value tst)