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

Fix expected use in single-value.

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

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -519,7 +519,7 @@
[(tc-result1: _ _ _) t] [(tc-result1: _ _ _) t]
[_ (tc-error/expr [_ (tc-error/expr
#:stx form #:stx form
#:return (or expected (ret (Un))) #:return (ret (Un))
"expected single value, got multiple (or zero) values")])) "expected single value, got multiple (or zero) values")]))
;; type-check a body of exprs, producing the type of the last one. ;; type-check a body of exprs, producing the type of the last one.

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

@ -2613,6 +2613,10 @@
#:ret (ret (list -Symbol) (list -top-filter ) (list -empty-obj) Univ 'B) #:ret (ret (list -Symbol) (list -top-filter ) (list -empty-obj) Univ 'B)
#:expected (ret (list -Symbol) (list -no-filter ) (list -no-obj) Univ 'B)] #:expected (ret (list -Symbol) (list -no-filter ) (list -no-obj) Univ 'B)]
[tc-err (values (values 'x 'y))
#:ret (ret (-val 'x))
#:expected (ret (-val 'x) -no-filter -no-obj)]
) )
(test-suite (test-suite
"tc-literal tests" "tc-literal tests"