[r6rs-discuss] [Formal] Equivalence predicate version of memp

From: Michael Sperber <sperber>
Date: Thu Oct 5 06:22:46 2006

William D Clinger <will_at_ccs.neu.edu> writes:

> 1. The draft R6RS says the proc must take a single
> argument when the lists are nonempty. I hope this is
> an error in the draft R6RS; the proc should take as
> many arguments as there are lists.
>
> 2. The draft R6RS does not specify the behavior of
> forall when the proc returns true values other than #t.
> I hope this is an error in the draft R6RS; all true
> values should be treated the same.

You are right in both cases.

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Thu Oct 05 2006 - 06:22:39 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC