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

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to