Add test of andmap.

svn: r14928
2009-05-22 19:04:22 +00:00 · 2009-05-22 19:04:22 +00:00 · 5b7249eea5
commit 5b7249eea5
parent c8828d0638
1 changed files with 4 additions and 0 deletions
--- 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)