While reading psyntax.scm, I noticed that the definition of 'bound-id=?'
does not match the definition in "Syntax Abstraction in Scheme" by
Dybvig, Hieb, and Bruggeman.
The paper states "Two identifiers that are bound-identifier=? are also
free-identifier=?". The following expression shows that t
Fixed in stable-2.0, commit 70c74b847680d3b239e591afa2e99c51a712980c
Mark
Mark H Weaver wrote:
> While reading psyntax.scm, I noticed that the definition of 'bound-id=?'
> does not match the definition in "Syntax Abstraction in Scheme" by
> Dybvig, Hieb, and Bruggeman.
>
> The paper states "Two identifiers that are bound-identifier=? are also
> free-identifier=?".
I thi
