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

From: AndrevanTonder <andre>
Date: Wed Nov 29 20:11:35 2006

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
Received on Wed Nov 29 2006 - 20:07:05 UTC