From 3a70ed56694f0dfabb308593c21df8556ce3b9b9 Mon Sep 17 00:00:00 2001 From: Mira Leung Date: Tue, 5 May 2015 21:50:39 -0700 Subject: [PATCH] Update to fl>= tests --- typed-racket-test/unit-tests/typecheck-tests.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 6411566e..7e8d3a25 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -3654,7 +3654,7 @@ (-result -Boolean (-FS (-filter -NegFlonum 0) -top)) (-result -Boolean (-FS (-filter -FlonumZero 0) -top)) (-result -Boolean (-FS (-filter -PosFlonum 0) -top)) - (-result -Boolean))))] + (-result -Boolean (-FS (-filter -NonNegFlonum 0) -top)))))] [tc-e/t (lambda: ([x : Positive-Flonum] [y : Flonum]) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) @@ -3674,7 +3674,7 @@ (-result -Boolean) (-result -Boolean (-FS (-filter -PosFlonum 0) -top)) (-result -Boolean (-FS (-filter -PosFlonum 0) -top)) - (-result -Boolean))))] + (-result -Boolean (-FS (-filter -PosFlonum 0) -top)))))] [tc-e/t (lambda: ([x : Nonnegative-Flonum] [y : Flonum]) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) @@ -3694,7 +3694,7 @@ (-result -Boolean) (-result -Boolean (-FS (-filter -NonNegFlonum 0) -top)) (-result -Boolean (-FS (-filter -PosFlonum 0) -top)) - (-result -Boolean))))] + (-result -Boolean (-FS (-filter -NonNegFlonum 0) -top)))))] [tc-e/t (lambda: ([x : Negative-Flonum] [y : Flonum]) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) @@ -3724,7 +3724,7 @@ (-result -Boolean) (-result -Boolean (-FS (-filter -NonPosFlonum 1) -top)) (-result -Boolean (-FS (-filter -NegFlonum 1) -top)) - (-result -Boolean))))] + (-result -Boolean (-FS (-filter -NonPosFlonum 1) -top)))))] [tc-e/t (lambda: ([x : Flonum] [y : Nonpositive-Flonum]) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) @@ -3734,7 +3734,7 @@ (-result -Boolean (-FS (-filter -NegFlonum 0) -top)) (-result -Boolean (-FS (-filter -NonPosFlonum 0) -top)) (-result -Boolean) - (-result -Boolean (-FS (-filter -NonNegFlonum 0) -top)))))] + (-result -Boolean))))] ) (test-suite