From df91f204d21f1f345dd0fc9ee69004edd2eb7dc7 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 13 Jun 2008 12:08:43 -0400 Subject: [PATCH] Test cases that should succeed and fail for star/dots mixes. --- collects/tests/typed-scheme/fail/infer-dots.ss | 6 ++---- collects/tests/typed-scheme/succeed/infer-dots.ss | 9 ++++++++- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss index 6173f66b78..7ef4ad217c 100644 --- a/collects/tests/typed-scheme/fail/infer-dots.ss +++ b/collects/tests/typed-scheme/fail/infer-dots.ss @@ -2,7 +2,7 @@ (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)) @@ -10,9 +10,7 @@ (map* g (list 1 2 3) (list 4 5 6)) -;; Can't use a starred function with more fixed args -;; for a dotted function. (: h (Integer Integer Integer * -> Integer)) (define (h x y . z) 0) -(map* h (list 1 2 3) (list 4 5 6)) +(map* h (list 1 2 3)) \ No newline at end of file diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.ss index 63ad19a5e1..1e450452b5 100644 --- a/collects/tests/typed-scheme/succeed/infer-dots.ss +++ b/collects/tests/typed-scheme/succeed/infer-dots.ss @@ -7,4 +7,11 @@ (map* f (list 1 2 3) (list 10 20 30)) -#;(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30)) \ No newline at end of file +(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)) + +(: h (Integer Integer Integer * -> Integer)) +(define (h x y . z) 0) + +(map* h (list 1 2 3) (list 4 5 6)) \ No newline at end of file