[r6rs-discuss] R6 counterproposal

[R. Kent Dybvig]

> the very mechanism that makes referential transparency and hygiene 
> practical, the lazy propagation of scoping information and marks,
> also makes it difficult to interpret what (datum->syntax template-id 
> datum) does when you get an expression that's been heavily munged already.

Lazy propagation of scoping information and marks has no impact on the
behavior of datum->syntax.  If the information is propagated eagerly to
all identifiers at once it is the same as if it is propagated lazily.

Kent