From e3734750dbdaeca776710447ea76b73c1493f311 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Mon, 16 Jun 2008 19:02:45 -0400
Subject: [PATCH] Add examples of each.

original commit: bcb205a9303bdda29c94f5239e919ceef90145bb
---
 collects/tests/typed-scheme/succeed/dot-intro.ss | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/dot-intro.ss

diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
new file mode 100644
index 00000000..7afb8c1a
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -0,0 +1,9 @@
+#lang typed-scheme
+
+(define x
+  (plambda: (a ...) ([x : Number] . [y : Number ... a])
+    (ormap zero? (map add1 y))))
+
+(define y
+  (plambda: (a ...) ([x : Number] . [y : a ... a])
+    (ormap null? (map list y))))
\ No newline at end of file