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

Repair failing test case (wrong expected value).

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-06-04 17:01:50 -04:00
parent 42a2ac6026
commit 2b9912ea9f
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]) [tc-e (let: ([x : Float 0.0])
(= 0 x)) (= 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))] [tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]
) )