Add test of andmap.

svn: r14928 original commit: 5b7249eea551979eac88b199b270f5800cdad42a
2009-05-22 19:04:22 +00:00 · 2009-05-22 19:04:22 +00:00 · 1a133d64f9
commit 1a133d64f9
parent ec5105962f
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)