From 286e9b8510f5a6035785851ff2cb4d1a42c5d0f6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 13 Jun 2008 17:04:22 -0400 Subject: [PATCH] More testing. original commit: 27073e07fd8e48e74451937195867d5d134554c1 --- collects/tests/typed-scheme/succeed/infer-dots.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.ss index 1e450452..be670b35 100644 --- a/collects/tests/typed-scheme/succeed/infer-dots.ss +++ b/collects/tests/typed-scheme/succeed/infer-dots.ss @@ -12,6 +12,7 @@ (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) 0) +(define (h x y . z) (apply + (cons x (cons y z)))) -(map* h (list 1 2 3) (list 4 5 6)) \ No newline at end of file +(map* h (list 1 2 3) (list 4 5 6)) +(map* h (list 1 2 3) (list 4 5 6) (list 4 5 6))