A Racket implementation of the nanopass framework for compiler writing See the bottom of nanopass.rkt for examples and tests.
Next up: define-pass
See https://github.com/soegaard/nanopass/blob/master/construction.rkt
The form construct is to construction as match is to deconstruction.
For datums and unbound identifiers, construct works like quote.