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

More testing.

Browse Source 
original commit: 27073e07fd8e48e74451937195867d5d134554c1
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-13 17:04:22 -04:00
parent f72b9f1e13
commit 286e9b8510
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/succeed/infer-dots.ss
View File

@ -12,6 +12,7 @@
(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30))
(: h (Integer Integer Integer * -> Integer))
(define (h x y . z) 0)
(define (h x y . z) (apply + (cons x (cons y z))))
(map* h (list 1 2 3) (list 4 5 6))
(map* h (list 1 2 3) (list 4 5 6))
(map* h (list 1 2 3) (list 4 5 6) (list 4 5 6))