suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update to fl>= tests

Browse Source
This commit is contained in:
Mira Leung 2015-05-05 21:50:39 -07:00 committed by Sam Tobin-Hochstadt
parent 9b88243b5c
commit 3a70ed5669
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typed-racket-test/unit-tests/typecheck-tests.rkt
View File

@ -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