[R6RS] Internal DEFINE vs. macros

[Michael Sperber]

dyb at cs.indiana.edu writes:

> (let-syntax ((foo (syntax-rules ()
> 		    ((foo ?x) (define ?x 'outer)))))
>   (let ()
>     (define-syntax foo
>       (syntax-rules ()
> 	((foo) (define ?x 'inner))))
>     (foo a)
>     a))
>
>> produces outer on PLT, but on Chez says:
>>
>> Error: invalid syntax (foo a).
>>
>> Why?  (If you think I should wait until the full description of
>> SYNTAX-CASE is out let me know.)
>
> Chez Scheme processes body forms from left to right and adds macro
> definitions to the compile-time environment as it proceeds. [...]

I'm probably being dense---why doesn't the definition of FOO get
applied to the use then?  Why is this an error?

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla