[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
The update of the document is now available on the official site:
- The hygiene mechanism has been simplified. A binding
for an identifier can only capture a reference to another if both
were introduced together in the same SYNTAX or QUASISYNTAX form.
A rationale based on referential transparency is given that this is
the right choice. [This rationale can be made more precise but
is somewhat complicated while not really necessary - I may remove it
- The section on "hygiene breaking" has been removed, as have statements
promoting use of make-fluid-identifier over datum->syntax-object for
these kinds of macros. Both mechanisms provide legitimate solutions
to the capturing problem, and these are now shown in their respective
specification sections. It is also shown how to implement Chez's
FLUID-LET-SYNTAX in terms of make-fluid-identifier.
- The mechanism for escaping ellipses in syntax-case macros is discussed.
- name changes: SYNTAX-QUOTE --> EMBEDDED-SYNTAX
MAKE-CAPTURING-IDENTIFIER --> MAKE-FLUID-IDENTIFIER
DATUM->SYNTAX --> DATUM->SYNTAX-OBJECT
SYNTAX->DATUM --> SYNTAX-OBJECT->DATUM