Simplify tc-expr testcase.

original commit: aa6a04fd46a0402803b6b365ba9b081ae060cfc7
2014-03-19 21:08:31 -07:00 · 2014-03-19 21:08:31 -07:00 · 0b98038079
commit 0b98038079
parent 89b9d28280
1 changed files with 1 additions and 7 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@ -735,13 +735,7 @@
                            (boolean? x))
                        (if (boolean? x) 1 x)
                        4))
-              #:proc (get-let-name
-                      x 0
-                      (ret Univ
-                           (-FS
-                            -top
-                            (-and (make-NotTypeFilter -Boolean null #'x) (make-TypeFilter (-val #f) null #'x)))))]
-
+              #:ret (ret Univ -true-filter)]
        ;; T-AbsPred
        [tc-e/t (let ([p? (lambda: ([x : Any]) (number? x))])
                  (lambda: ([x : Any]) (if (p? x) (add1 x) (add1 12))))