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

fix obvious bug pointed out by noel

Browse Source 
svn: r18351

original commit: 013b12b19d56e051fddd6bd09d6c07115088b14e
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-26 15:15:43 +00:00
parent 56732a6d6e
commit 0ad41fd737
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/typed-scheme/typecheck/tc-if.ss
View File

@ -57,9 +57,9 @@
r))]
;; special case if one of the branches is unreachable
[(and (= 1 (length us)) (type-equal? (car us) (Un)))
(if expected (check-below (ret ts fs2 os2)) (ret ts fs2 os2))]
(if expected (check-below (ret ts fs2 os2) expected) (ret ts fs2 os2))]
[(and (= 1 (length ts)) (type-equal? (car ts) (Un)))
(if expected (check-below (ret us fs3 os3)) (ret us fs3 os3))]
(if expected (check-below (ret us fs3 os3) expected) (ret us fs3 os3))]
;; otherwise, error
[else
(tc-error/expr #:return (ret (or expected Err))