[r6rs-discuss] syntax-rules at meta 0

[AndrevanTonder]

On Thu, 28 Jun 2007, David Van Horn wrote:

> If syntax-rules is imported into (meta 0), is the following behavior specified:
>
>   ((syntax-rules ()
>       ((let ((x v)) e) ((lambda (x) e) v)))
>    (syntax (let ((x 1)) x)))                  ;; ===> (syntax
> ((lambda (x) x) 1))

I believe yes, as a consequence of the note at the end of 12.8.

Andre