[plt-scheme] Please help test version 359.100

On Nov 14, 2006, at 6:36 AM, Jos Koot wrote:

> ----- Original Message -----
> From: Matthias Felleisen
> To: Jacob Matthews
> Cc: Robby Findler ; plt-scheme at list.cs.brown.edu
> Sent: Tuesday, November 14, 2006 3:39 AM
> Subject: Re: [plt-scheme] Please help test version 359.100
>
> I don't think this is relevant. The true question is whether
>
>   (+ (for-each add1 '()) (for-each sub1 '()))
>
> steps to
>
>   (+ some-value some-value)
>
> or to
>
>   (+ some-value some-different-value)
>
> I believe that the second one is the case already. -- Matthias
>
>  Then why do I get: (eq? (for-each add1 '()) (for-each sub1 '())) -- 
> > #t ?
> (version 359.100-svn4nov2006) Greetings, Jos Koot


Because an implementation can satisfy a specification without being  
equivalent to it. I conjecture that no Scheme implementation is  
equivalent to R5RS's specification.

In other words, test a lot on many different implementations and you  
still won't know for sure what the legal language means. -- Matthias