Add new tests
This commit is contained in:
parent
97847c32c4
commit
eb9147a0fa
10
collects/tests/typed-scheme/fail/infer-dots.ss
Normal file
10
collects/tests/typed-scheme/fail/infer-dots.ss
Normal 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
10
collects/tests/typed-scheme/succeed/infer-dots.ss
Normal 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))
|
Loading…
Reference in New Issue
Block a user