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

Fix tests.

Browse Source 
original commit: 678451f8c41601eaa8b82bb101c0ad2051f447b8
This commit is contained in:
Vincent St-Amour 2013-01-01 18:00:09 -05:00
parent 91f639247e
commit d5bd8a61e9
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)]