Module hygiene

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

• ArchivedMutableMarkContext
  An archived MutableMarkContext
• ArchivedSyntaxContext
  An archived SyntaxContext
• Mark
  A mark is a unique id associated with a macro expansion.
• MutableMarkContext
• MutableMarkContextResolver
  The resolver for an archived MutableMarkContext
• SyntaxContext
  A SyntaxContext represents a chain of macro expansions (represented by marks).
• SyntaxContextResolver
  The resolver for an archived SyntaxContext