Expand description
Machinery for hygienic macros, inspired by the MTWT[1] paper.
[1] Matthew Flatt, Ryan Culpepper, David Darais, and Robert Bruce Findler.
2012. Macros that work together: Compile-time bindings, partial expansion,
and definition contexts. J. Funct. Program. 22, 2 (March 2012), 181-216.
DOI=10.1017/S0956796812000093 https://doi.org/10.1017/S0956796812000093
Structsยง
- Archived
Mutable Mark Context - An archived
MutableMarkContext - Archived
Syntax Context - An archived
SyntaxContext - Mark
- A mark is a unique id associated with a macro expansion.
- Mutable
Mark Context - Mutable
Mark Context Resolver - The resolver for an archived
MutableMarkContext - Syntax
Context - A SyntaxContext represents a chain of macro expansions (represented by marks).
- Syntax
Context Resolver - The resolver for an archived
SyntaxContext