From 7ec0f13a7d20805cc119ecb2ae9b64784de42548 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 24 May 2008 17:25:39 +0000 Subject: [PATCH] fix r6rs exists svn: r9946 --- collects/rnrs/lists-6.ss | 2 +- collects/tests/r6rs/lists.ss | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/rnrs/lists-6.ss b/collects/rnrs/lists-6.ss index 901698a08b..fb99fa6ade 100644 --- a/collects/rnrs/lists-6.ss +++ b/collects/rnrs/lists-6.ss @@ -90,7 +90,7 @@ (define (exists1 proc list) (if (null? list) - #t + #f (let loop ((list list)) (let ((next (cdr list))) (if (null? next) diff --git a/collects/tests/r6rs/lists.ss b/collects/tests/r6rs/lists.ss index 2eaf1300f8..7aff65de9a 100644 --- a/collects/tests/r6rs/lists.ss +++ b/collects/tests/r6rs/lists.ss @@ -13,6 +13,7 @@ (test (find even? '(3 1 4 1 5 9)) 4) (test (find even? '(3 1 5 1 5 9)) #f) + (test (for-all even? '()) #t) (test (for-all even? '(3 1 4 1 5 9)) #f) (test (for-all even? '(3 1 4 1 5 9 . 2)) #f) (test (for-all even? '(2 4 14)) #t) @@ -25,6 +26,7 @@ (test (exists even? '(3 1 4 1 5 9)) #t) (test (exists even? '(3 1 1 5 9)) #f) + (test (exists even? '()) #f) (test/exn (exists even? '(3 1 1 5 9 . 2)) &assertion) (test (exists (lambda (n) (and (even? n) n)) '(2 1 4 14)) 2) (test (exists < '(1 2 4) '(2 3 4)) #t)