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

[Michael Sperber]

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