The conjoin/disjoin definitions start with:

> The predicates are applied in turn to the args as follows

I think your implementation is the correct one and the implementation in the SRFI repository is incorrect. Although `predicate` is usually a procedure of one argument, "predicate ... applied ... to the args" seems to imply that the "predicate"s are applied to each of the list of arguments in turn.

So I believe that a modification to the sample implementation that is equivalent to the code you posted would be sufficient, and it does not require a change to the SRFI.

-- Peter McGoron

Reply via email to