From 19b45b32c4d212092c581dcbb9e6b9db256efc73 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Tue, 1 Jul 2008 14:43:44 -0400
Subject: [PATCH] Example of nested polydots.

original commit: b90e1505d35e695f13cd81417ced00fae709223b
---
 collects/tests/typed-scheme/succeed/nested-poly.ss | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/nested-poly.ss

diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.ss
new file mode 100644
index 00000000..14830465
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/nested-poly.ss
@@ -0,0 +1,5 @@
+#lang typed-scheme
+
+(: f (All (A ...) (All (B ...) (A ... A -> Int))))
+
+(define (f . xs) 5)
\ No newline at end of file