suzanne.soy/typed-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.

original commit: 3990b43b6a2cc79c7affa05357d5ca85485a5008
This commit is contained in:
Eric Dobson 2013-07-08 21:01:31 -07:00
parent ccde83e589
commit 4e32bbdbcf
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))))
(-polydots (a b) ((list a) (b b) . ->... . (make-ValuesDots (list (-result a)) b 'b)))]
[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
"check-type tests"