From 90c28fbefec0d4952622e106984df1e6435e907e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 15 Apr 2003 17:50:27 +0000
Subject: [PATCH] added any tests for ->*

original commit: ef57a1802c535ac2f2cd170326b1db570ee527a0
---
 collects/tests/mzscheme/contract-test.ss | 37 ++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 479a094..a84c2ad 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -165,6 +165,43 @@
      1 2 'bad)
    "neg")
   
+  (test/spec-passed
+   'contract-arrow-star11
+   '(let-values ([(a b) ((contract (->* (integer?) 
+                                        (listof integer?)
+					any)
+                                   (lambda (x) (values x x))
+                                   'pos
+                                   'neg)
+                         2)])
+      1))
+  
+  (test/spec-failed
+   'contract-arrow-star12
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x) (values x x))
+               'pos
+               'neg)
+     #f)
+   "neg")
+  
+  (test/spec-passed
+   'contract-arrow-star13
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x . y) 1)
+               'pos
+               'neg)
+     1 2))
+  
+  (test/spec-failed
+   'contract-arrow-star14
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x . y) 1)
+               'pos
+               'neg)
+     1 2 'bad)
+   "neg")
+
   (test/spec-passed
    'contract-arrow-values1
    '(let-values ([(a b) ((contract (-> integer? (values integer? integer?))