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

Fix expected use in single-value.

Browse Source 
original commit: 750e408d942a4335ead436a58684a47026625b21
This commit is contained in:
Eric Dobson 2014-03-20 21:39:00 -07:00
parent 76953553f9
commit e97ada3017
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-error/expr
#:stx form
#:return (or expected (ret (Un)))
#:return (ret (Un))
"expected single value, got multiple (or zero) values")]))
;; 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)
#: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
"tc-literal tests"