diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss index 7ef4ad217c..40dea04980 100644 --- a/collects/tests/typed-scheme/fail/infer-dots.ss +++ b/collects/tests/typed-scheme/fail/infer-dots.ss @@ -2,15 +2,15 @@ (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. (: g (Integer Integer Integer -> Integer)) (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)) (define (h x y . z) 0) -(map* h (list 1 2 3)) \ No newline at end of file +(map h (list 1 2 3)) diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.ss index be670b35df..8989233668 100644 --- a/collects/tests/typed-scheme/succeed/infer-dots.ss +++ b/collects/tests/typed-scheme/succeed/infer-dots.ss @@ -5,14 +5,14 @@ (: f (Integer Integer -> Integer)) (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)) (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) (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))