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

Add new tests

Browse Source 
original commit: eb9147a0fa4048647a328d994eddd979e4c3a7fa
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-11 17:16:58 -04:00
parent f750b30c2f
commit 87d8bc5bc8
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/fail/infer-dots.ss Normal file
View File

@ -0,0 +1,10 @@
#lang typed-scheme
(require typed-scheme/private/extra-procs)
#;(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
(: g (Integer Integer Integer -> Integer))
(define (g x y z) 0)
(map* g (list 1 2 3) (list 4 5 6))

10
collects/tests/typed-scheme/succeed/infer-dots.ss Normal file
View File

@ -0,0 +1,10 @@
#lang typed-scheme
(require typed-scheme/private/extra-procs)
(: f (Integer Integer -> Integer))
(define (f x y) (+ x y))
(map* f (list 1 2 3) (list 10 20 30))
#;(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30))