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

Fix uses of expected in tc-app-list.

Browse Source 
original commit: 90556817eb35b7c9b2a7de5297c2d410909380b3
This commit is contained in:
Eric Dobson 2014-03-19 22:58:37 -07:00
parent d4ef37f2fb
commit 8801d6a89a
2 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt
View File

@ -79,14 +79,15 @@
[(tc-result1: (Listof: elem-ty))
(for ([i (in-syntax #'args)])
(tc-expr/check i (ret elem-ty)))
expected]
(ret (-lst elem-ty))]
[(tc-result1: (List: (? (lambda (ts) (= (syntax-length #'args)
(length ts)))
ts)))
(for ([ac (in-syntax #'args)]
[exp (in-list ts)])
(tc-expr/check ac (ret exp)))
expected]
(match (for/list ([ac (in-syntax #'args)]
[exp (in-list ts)])
(tc-expr/check ac (ret exp)))
[(list (tc-result1: t) ...)
(ret (-Tuple t))])]
[_
(let ([tys (stx-map tc-expr/t #'args)])
(ret (apply -lst* tys)))]))
@ -101,7 +102,7 @@
(tc-expr/check #'arg expected)]
[(tc-result1: (List: ts))
(tc-expr/check #'arg (ret (-Tuple (reverse ts))))
expected]
(ret (-Tuple ts))]
[_
(match (single-value #'arg)
[(tc-result1: (List: ts))

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

@ -2519,6 +2519,16 @@
[tc-err (ann (lambda () (let ([my-values values]) (my-values)))
(All (A ...) (-> (Values Symbol ... A))))]
[tc-e (list 'x)
#:ret (ret (-Tuple (list -Symbol)))
#:expected (ret (-Tuple (list -Symbol)) -no-filter -no-obj)]
[tc-e (list 'y)
#:ret (ret (-lst -Symbol))
#:expected (ret (-lst -Symbol) -no-filter -no-obj)]
[tc-e (reverse (list 'x 'y))
#:ret (ret (-Tuple (list (-val 'y) (-val 'x))))
#:expected (ret (-Tuple (list (-val 'y) (-val 'x))) -no-filter -no-obj)]
)
(test-suite
"tc-literal tests"