[r6rs-discuss] [Formal] forall and exists description and examples

[Michael Sperber]

I am posting this as an individual member of the Scheme
community.  I am not speaking for the R6RS editors.

AndrevanTonder <andre at het.brown.edu> writes:

> - The descriptions of forall and exists are confusing and incomplete.
>   For example, it is not stated that proc must take as many arguments
>   as there are lists.  Also, it is not explained what applying proc
>   "elementwise" means. - The last example of each of forall and exists
> are missing closing parentheses.
> - There is no example with more than one list argument.

This is tricky stuff.  I'll try to address these to the best of my
ability in the next revision.  I'll close the issue for now---you
might want to check this again when it comes out.

Note that the specification can't state that proc must take as many
arguments as there are lists---this must only be the case if the lists
are non-empty.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla