From aa6a04fd46a0402803b6b365ba9b081ae060cfc7 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 19 Mar 2014 21:08:31 -0700 Subject: [PATCH] Simplify tc-expr testcase. --- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git 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 index ae24c5b58d..84103e3995 100644 --- 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))))