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

Fix tests.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-01-01 18:00:09 -05:00
parent 4137eb9e73
commit 678451f8c4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -210,8 +210,8 @@
(tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN
(tc-e (angle -1) -Real)
(tc-e (angle 2.3) -Zero)
(tc-e (magnitude 3/4) -Rat)
(tc-e (magnitude 3+2i) -Real)
(tc-e (magnitude 3/4) -NonNegRat)
(tc-e (magnitude 3+2i) -NonNegReal)
[tc-e/t (lambda: () 3) (t:-> -PosByte : -true-lfilter)]
[tc-e/t (lambda: ([x : Number]) 3) (t:-> N -PosByte : -true-lfilter)]