From 1bbdcf1ccf9d9753a0439be0042abc01b95e843c Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Wed, 18 Jun 2008 15:03:12 -0400
Subject: [PATCH] New test for lambda formal list mismatches.

original commit: 467b138cdacde26bcad3bbb9955fc62cfa9f1536
---
 .../typed-scheme/fail/formal-len-mismatches.ss  | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 collects/tests/typed-scheme/fail/formal-len-mismatches.ss

diff --git a/collects/tests/typed-scheme/fail/formal-len-mismatches.ss b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
new file mode 100644
index 00000000..bd640a06
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
@@ -0,0 +1,17 @@
+#lang typed-scheme
+
+(: f (Integer Integer Integer * -> Integer))
+(define (f x)
+  (+ #\c x))
+
+(: f2 (Integer Integer * -> Integer))
+(define (f2 x y . z)
+  (apply + #\c x y z))
+
+(: f4 (Integer Integer -> Integer))
+(define (f4 x y w . z)
+  (apply + #\c x y w z))
+
+(: f3 (Integer Integer -> Integer))
+(define (f3 x . z)
+  (apply + #\c x z))
\ No newline at end of file