[r6rs-discuss] R6 counterproposal

From: R. Kent Dybvig <dyb>
Date: Tue, 29 May 2007 14:06:23 -0400

> 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
Received on Tue May 29 2007 - 14:06:23 UTC