Abdulaziz Ghuloum wrote:
>
> 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?
No. Another dumb mistake and yet one that is
inconsequential to the point which I think is clear.
I am accustomed to having informal conversations with
people capable of rigor where rigor is necessary but also
capable of simply sketching where sketching is sufficient.
Misunderstandings and mistakes do occur frequently
but most mistakes don't lead to significant misunderstandings
and, in any event, confusions are usually cleared up without
resorting to language like "did you try..." -- language that
amounts to character assassination.
You spotted a mistake I made, sure, but you didn't say: "Oh,
there's a mistake here. This does give an error, see? I recognize
that doesn't change your main point but, gotcha on that one" you
instead insinuated something mean about me.
-t
>
> 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
