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

Change map* to map.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-16 13:28:27 -04:00
parent 27073e07fd
commit a43b2f5681
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/fail/infer-dots.ss
View File

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

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

@ -5,14 +5,14 @@
(: f (Integer Integer -> Integer)) (: f (Integer Integer -> Integer))
(define (f x y) (+ x y)) (define (f x y) (+ x y))
(map* f (list 1 2 3) (list 10 20 30)) (map f (list 1 2 3) (list 10 20 30))
(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30)) (map + (list 1 2 3) (list 10 20 30) (list 10 20 30))
(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)) (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)) (: h (Integer Integer Integer * -> Integer))
(define (h x y . z) (apply + (cons x (cons y z)))) (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)) (map h (list 1 2 3) (list 4 5 6) (list 4 5 6))