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

New tests

Browse Source 
original commit: 3f180f88daf777504d1d210cb9115118cab629b8
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-17 16:24:30 -04:00
parent 64c709bbb7
commit 2a935208e9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

@ -547,6 +547,9 @@
[tc-err (apply append (list 1) (list 2) (list 3) (list (list 1) "foo"))]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1))) (-lst -Integer)]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list "foo"))) (-lst (Un -String -Integer))]
[tc-err (plambda: (b ...) [y : b ... b] (apply append (map list y)))]
[tc-e (plambda: (b ...) [y : (Listof Integer) ... b] (apply append y))
(-polydots (b) (->... (list) ((-lst -Integer) b) (-lst -Integer)))]
;; error tests
[tc-err (#%variable-reference number?)]