Very cool write-up, thanks! I've long appreciated the wizardry that Common Lisp's macros enable, and knew (distantly) that Racket does macros, but was complete

Very cool write-up, thanks! I've long appreciated the wizardry that Common Lisp's macros enable, and knew (distantly) that Racket does macros, but was completely unfamiliar with this separate compilation guarantee. If I understand it at all, it's basically a way of getting the benefit of macros without permitting some of the crazier stunts you might be tempted to pull. Neat. In any case, figuring out a way around that guarantee, and taking us along for the ride, is greatly appreciated.