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

Add some test cases for plambda fixes that have already been applied.

Browse Source 
Closes PR 13751.
Closes PR 13754.
This commit is contained in:
Eric Dobson 2013-07-08 21:01:31 -07:00
parent 9cc50dc914
commit 3990b43b6a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1636,6 +1636,11 @@
(All (A B ...) (A B ... -> (values A B ... B)))) (All (A B ...) (A B ... -> (values A B ... B))))
(-polydots (a b) ((list a) (b b) . ->... . (make-ValuesDots (list (-result a)) b 'b)))] (-polydots (a b) ((list a) (b b) . ->... . (make-ValuesDots (list (-result a)) b 'b)))]
[tc-e/t (ann (ann 'x Symbol) Symbol) -Symbol] [tc-e/t (ann (ann 'x Symbol) Symbol) -Symbol]
[tc-err (lambda (x) x)
#:expected (ret (-poly (a) (cl->* (t:-> a a) (t:-> a a a))))]
[tc-err (plambda: (A) ((x : A)) x)
#:expected (ret (list -Symbol -Symbol))]
) )
(test-suite (test-suite
"check-type tests" "check-type tests"