[r6rs-discuss] Description of forall procedure
Nils M Holm
holm at t3x.org
Fri Nov 3 05:36:12 EST 2006
This has almost certainly been reported before, but just
in case:
On page 64 of R5.91RS, the following examples seem to be
wrong because 1 is not even:
(forall even? '(2 1 4 14)) => #t
(forall even? '(2 1 4 14 . 9)) => &contract exception
(forall (lambda (n) (and (even? n) n)) '(2 1 4 14)) => 14
Also, some of the "evaluates to" arrows overlap with their
lefthand sides.
--
Nils M Holm <holm at t3x.org> -- http://t3x.org/nmh/
More information about the r6rs-discuss
mailing list