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

Fix tc-if. Remove dead cases and misuse of expected.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-20 21:50:07 -07:00
parent 750e408d94
commit cf713b7030
2 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
View File

@ -99,12 +99,6 @@
(ret us fs3 os3)] (ret us fs3 os3)]
;; otherwise, error ;; otherwise, error
[else [else
(tc-error/expr #:return (or expected (ret Err)) (tc-error/expr #:return (ret -Bottom)
"Expected the same number of values from both branches of `if' expression, but got ~a and ~a" "Expected the same number of values from both branches of `if' expression, but got ~a and ~a"
(length ts) (length us))])])))] (length ts) (length us))])])))]))
[(tc-any-results:)
(tc-error/expr #:return (or expected (ret Err))
"Test expression expects one value, given unknown amount")]
[(tc-results: t _ _)
(tc-error/expr #:return (or expected (ret Err))
"Test expression expects one value, given ~a" t)]))

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -2617,6 +2617,11 @@
#:ret (ret (-val 'x)) #:ret (ret (-val 'x))
#:expected (ret (-val 'x) -no-filter -no-obj)] #:expected (ret (-val 'x) -no-filter -no-obj)]
[tc-err (if (random) (values 1 2) 3)
#:ret (ret (-val 3) -top-filter)
#:expected (ret (-val 3) -no-filter -no-obj)]
) )
(test-suite (test-suite
"tc-literal tests" "tc-literal tests"