diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss index 7ef4ad21..40dea049 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 be670b35..89892336 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))