[r6rs-discuss] Comparison procedures' number of arguments

[Andre van Tonder]

On Sat, 18 Oct 2008, Abdulaziz Ghuloum wrote:

> You only need to go back to the description of =, <, >, <=, and >=
> from the report to figure it out:
>   "These procedures return #t if their arguments are (respectively):
> equal, monotonically increasing, monotonically decreasing,
> monotonically nondecreasing, or monotonically nonincreasing, and #f
> otherwise. "

I agree.  It seems clear that the base cases for /all/ of these should be #t.
It would be silly if, for example, whether a sequence is increasing could 
be changed from #t to #f by removing the last element.  Stated another way, all 
of these are really an intersection (AND) of conditions, and the base (0 
argument) case for AND is #t.

Andre