[r6rs-discuss] Interpreters need not apply?

[AndrevanTonder]

On Wed, 7 Mar 2007, William D Clinger wrote:

> AndrevanTonder wrote:
>> No r5rs-conformant Scheme interpreter will start evaluating a form
>> without macro-expanding it first.
>
> Here's an example to illustrate the connection between
> semantics and implementation technique:
>
> (begin (display "Hello world!") (newline)
>       (letrec-syntax ((foo (syntax-rules ()
>                             ((foo x y ...) (foo x x y ...)))))
>         (foo 0)))
>
> I thought the R5RS allowed the program above to print
> something.

Granted, but what does this have to do with being an interpreter or not?

Andre