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

Repair failing test case (wrong expected value).

Browse Source 
original commit: 2b9912ea9f0b41d30febde846f46901641410c7c
This commit is contained in:
Sam Tobin-Hochstadt 2012-06-04 17:01:50 -04:00
parent 043c510ece
commit a93d6734ac
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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