[r6rs-discuss] Comparison procedures' number of arguments

[Alan Bawden]

I've deleted the message, but somebody wrote:

     Is this a valid program transformation?

     (apply = (append x y z))

     <==>

     (let ((x0 x)
	   (y0 y)
	   (z0 z))
       (let* ((xy (append x0 y0))
	      (yz (append y0 z0)))
	 (and (apply = xy)
	      (apply = yz))))

This is -not- a valid program transformation.  Consider the case where y is
the empty list.