[r6rs-discuss] Macro expansion erratum

[Michael Sperber]

Robert Ransom <rransom.8774 at gmail.com> writes:

> The core inconsistency is that, while R6RS specifies that
> (BOUND-IDENTIFIER=? X Y) is #T if and only if X and Y have the same
> name and ‘marks’, Waddell's thesis specifies that (BOUND-IDENTIFIER=? X
> Y) is #T if and only if X and Y have the same marks and
> (FREE-IDENTIFIER=? X Y) is #T. (See pages 44 and 49 (PDF p. 60 and
> 65).)  This inconsistency affects the expansion process, as both
> documents specify that if an identifier is bound by LAMBDA, LET-SYNTAX,
> or LETREC-SYNTAX, all identifiers in the binding's scope which are
> BOUND-IDENTIFIER=? to the bound identifier are affected by the
> binding.  (In R6RS, see the second-to-last paragraph of library §12.1
> and the specification of BOUND-IDENTIFIER=?.)

Indeed - I finally got around to writing up the erratum.  Thanks for the
report, and sorry for taking so long with this!

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla