[r6rs-discuss] [Formal] Trivial Enhancement of macros in v5.91: capture-syntax

[AndrevanTonder]

On Wed, 29 Nov 2006, William D Clinger wrote:

> That means I cannot write a reference implementation for R6RS
> arithmetic that guards against a procedural macro that creates
> a macro-time bignum and tries to insert it as a quoted constant
> into the macro-expanded code.

I'm not sure this is correct, though.  I think datum->syntax must be applied to 
datums, which bignums presumably would not be.

> That is an example of the mixing
> both of us deplore.

I don't actually mind a constant number meaning the same thing at all levels. 
It is the mixing of identifier references that I feel uncomfortable with, but 
that comment is withdrawn - as long as the r6rs does not preclude separating 
them, I can live with it.

Cheers
Andre