[r6rs-discuss] [Formal] Trivial Enhancement of macros in v5.91:
andre at het.brown.edu
Wed Nov 29 20:07:05 EST 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.
More information about the r6rs-discuss