From 1a133d64f99fc1051eaad97b2896131c6230c64f Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Fri, 22 May 2009 19:04:22 +0000
Subject: [PATCH] Add test of andmap.

svn: r14928

original commit: 5b7249eea551979eac88b199b270f5800cdad42a
---
 collects/tests/typed-scheme/succeed/dot-intro.ss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
index 50c87e35..1d0dd533 100644
--- a/collects/tests/typed-scheme/succeed/dot-intro.ss
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -8,6 +8,10 @@
   (plambda: (a ...) ([x : Number] . [y : a ... a])
     (ormap null? (map list y))))
 
+(define y*
+  (plambda: (a ...) ([x : Number] . [y : a ... a])
+    (andmap null? (map list y))))
+
 
 (plambda: (a ...) ([x : Number] . [y : Number ... a])
   y)