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

From: AndrevanTonder <andre>
Date: Mon Sep 25 06:32:21 2006

Name : Andre van Tonder
Email : andre at het.brown.edu
Type : defect/enhancement
Priority : low
Component : list utilities
Version : 5.91
Pages : 64
Dependencies: None

Summary:
--------

Confusing language, typos and missing examples.

Description:
------------

- 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.

Proposal:
---------

The descriptions in SRFI-1 are a little clearer (though not entirely
applicable), and contains examples with more than one list.
Received on Mon Sep 25 2006 - 05:56:46 UTC