David Van Horn wrote:
Robby Findler wrote:
The formal semantics makes no claim to let you reason about the space
behavior of your program!
You've said twice now that you think the formal semantics is
incorrect. Your explanations of why don't seem right to me, but they
are still vague. Please explain (unless you were talking about space
both times?)
The specification of eqv? (9.6) requires:
(let ((p (lambda (x) x)))
(eqv? x x)) ===> #t
Sorry, this example should read:
(let ((p (lambda (x) x)))
(eqv? p p))
David
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
