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

More failure tests.

Browse Source 
original commit: 477cba1b0bdf8595b2c434fe731d29a1d5f5abda
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 15:06:21 -04:00
parent 760559a6db
commit 4a8331d129
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/tests/typed-scheme/fail/values-dots.ss
View File

@ -1,5 +1,5 @@
#;
(exn-pred 2)
(exn-pred 7)
#lang typed-scheme
(require typed-scheme/private/extra-procs)
@ -14,3 +14,12 @@
(map-with-funcs (lambda: ([x : Integer] [y : Integer] . [z : Integer *])
(+ x y)))
(map-with-funcs (lambda: ([x : Integer] [y : Integer])
(+ x y)))
(map-with-funcs + - * / string-append)
((map-with-funcs + - * /) 1 2 3)
((map-with-funcs + - * /) 1 2 3 4 5)
((map-with-funcs + - * /) 1 2 3 "foo")