[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