On Oct 20, 2008, at 11:09 PM, Thomas Lord wrote:
> 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
Well, it is an error, and not #t. Did you try the code that you posted?
Ikarus Scheme version 0.0.3+ (revision 1639, build 2008-10-19)
Copyright (c) 2006-2008 Abdulaziz Ghuloum
> (define x '(q))
> (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)))
Unhandled exception
Condition components:
1. &assertion
2. &who: =
3. &message: "not a number"
4. &irritants: (q)
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
