[r6rs-discuss] [Formal] Formal semantics should not contain complicating optimizations

From: David Van Horn <dvanhorn>
Date: Thu Mar 15 13:51:09 2007

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
Received on Thu Mar 15 2007 - 13:51:01 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC