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

New tests

Browse Source 
original commit: 59e2dc4dea772cae5af0a2c7b72b1737864afb20
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-17 14:28:41 -04:00
parent 265f9c9009
commit 64c709bbb7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -544,6 +544,10 @@
[tc-e (list* 1 2 3) (-pair -Integer (-pair -Integer -Integer))]
[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))]
;; error tests
[tc-err (#%variable-reference number?)]
[tc-err (+ 3 #f)]