From 6aa8cbee9ddf34014705ede881ba38da14eebb47 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Fri, 2 Jul 2010 12:03:20 -0400
Subject: [PATCH] Generalize fixed-length lists to listofs.

Closes PR10057.

original commit: 570df7d6658d4ff0b88c12fb6d3af4917a1a3fa3
---
 collects/tests/typed-scheme/succeed/pr10057.rkt | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/pr10057.rkt

diff --git a/collects/tests/typed-scheme/succeed/pr10057.rkt b/collects/tests/typed-scheme/succeed/pr10057.rkt
new file mode 100644
index 00000000..a4f1829d
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/pr10057.rkt
@@ -0,0 +1,5 @@
+#lang typed-scheme
+(require scheme/match)
+(ann (match '(a b c)
+       [(list sym more ...) 1]
+       [else 1]) Integer)
\ No newline at end of file