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/
Received on Fri Nov 03 2006 - 05:36:12 UTC