[r6rs-discuss] Comparison procedures' number of arguments

[John Cowan]

Andre van Tonder scripsit:

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

That would, however, undermine the otherwise reliable deduction that
when applied to the same arguments, < and => (and likewise > and <=)
produce results of opposite truth value.  The same is true of applying <
or <= to the reversal of the arguments of > and >= respectively.

-- 
John Cowan              cowan at ccil.org          http://www.ccil.org/~cowan
C'est la` pourtant que se livre le sens du dire, de ce que, s'y conjuguant
le nyania qui bruit des sexes en compagnie, il supplee a ce qu'entre eux,
de rapport nyait pas.               --Jacques Lacan, "L'Etourdit"