The section on macros notes that they can do the transforms but don't have access to compiler information. The compiler toolkits section doesn't have any LISP e

The section on macros notes that they can do the transforms but don't have access to compiler information. The compiler toolkits section doesn't have any LISP examples. It's worth noting that sklogic's tool (2005) is a compiler/analysis toolkit in LISP w/ DSL's and I think he said it facilitates accessing compile-time information. I know he does that somehow. There's also tons of existing DSL's that can be used interchangeable to aid expressing complex systems. The company whose name is on it uses it for design of static analyzers. https://github.com/combinatorylogic/mbase https://github.com/combinatorylogic/mbase Might send it to rsc given it he probably missed it or might have some insight after glancing at it.