[r6rs-discuss] [Formal] Remove double phase semantics

[Matthew Flatt]

At Sat, 25 Nov 2006 21:13:52 -0500, Abdulaziz Ghuloum wrote:
> Maybe the draft doesn't require symbols to be different, but
> in practice, I think it does in every implementation.  With
> separate sets of symbols at every phase, a macro cannot even
> perform test (eq? (syntax->datum #'x) 'the-symbol).

You're comparing the expansion-time representation of a result from
`syntax-datum' (applied to an identifier) with the expansion-time
representation of a symbol. I don't see that either is required to have
anything to do with the run-time representation of a symbol (except
when library instances are shared across phases, but I agree that R6RS
need not say anything about that case).

Matthew