From 2b9912ea9f0b41d30febde846f46901641410c7c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 4 Jun 2012 17:01:50 -0400 Subject: [PATCH] Repair failing test case (wrong expected value). --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index b66da920f8..58412b00e2 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1408,7 +1408,7 @@ [tc-e (let: ([x : Float 0.0]) (= 0 x)) - #:ret (ret -Boolean (-FS -top -top) (make-NoObject))] + #:ret (ret -Boolean (-FS -top -top) (make-Empty))] [tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))] )