This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 157: syntax-rules literal matching semantics

2011-05-19 16:02:43
WG1 - Macros
alexshinn
major
alexshinn
worksforme
source
closed
2011-04-19 07:27:51
defect

Syntax-rules literals match if they both have the same name and are unbound, or if they are the same binding. In the presence of a module system, the meaning of "same binding" is not obvious. Are imported bindings (possibly under different names) required to match?

resolutionworksforme
statusnewclosed

In practice any implementation which takes liberties with matching here is likely to follow the Chicken/Chibi semantics, and so the bindings will always match.