From af12feb72972ca9f5c0ae71573be43101c93dc76 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Thu, 19 Jun 2008 19:10:05 -0400
Subject: [PATCH] Another example, putting in starred for dots.

---
 collects/tests/typed-scheme/succeed/dotted-identity.ss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss
index 0ff8aedc0c..7ea9391d1f 100644
--- a/collects/tests/typed-scheme/succeed/dotted-identity.ss
+++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss
@@ -8,3 +8,9 @@
 
 #{(f y) :: (Integer Integer -> Integer)}
 
+(: z (Integer * -> Integer))
+(define (z . xs) (apply + xs))
+
+((f z) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18)
+#;
+#{(f z) :: (Integer * -> Integer)}
\ No newline at end of file