Alan Bawden wrote:
> Stop being so argumentative
>
I'm sorry I made a dumb mistake in my example but please
don't attack my character as a result.
Here's a better, simpler, corrected example:
(apply = x) ; true when the elements of x
; are all equal
<=>
(let ((xv x))
; the elements of x are all =
(not ; if it is false that
(exists ; there exists
(lambda (x0) ; some element of x ("x0")
(exists ; such that for that x0 there exists
(lambda (x1) ; another element of x ("x1")
(not ; where it is not the case that
(= x0 x1))) ; those elements are equal
xv))
xv)))
Now, to be clear, I think that second transformation is
also a bogus transformation because my opinion is that
(apply = '(q)) ought to be an error, not #t -- but if we stipulate
that "x" denotes a list of numbers then the transformation
is not bogus.
-t
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
