[r6rs-discuss] Interpreters need not apply?

From: AndrevanTonder <andre>
Date: Wed Mar 7 12:17:26 2007

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
Received on Wed Mar 07 2007 - 12:16:48 UTC