From f72b9f1e134306e5094d292da3f46685cbdc3a78 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Fri, 13 Jun 2008 12:08:43 -0400
Subject: [PATCH] Test cases that should succeed and fail for star/dots mixes.

original commit: df91f204d21f1f345dd0fc9ee69004edd2eb7dc7
---
 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 6173f66b..7ef4ad21 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 63ad19a5..1e450452 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