To get rid of racket expressions that have been embedded in metafunctions and
reduction relations, you use `with-unquote-rewriter`, but you can currently
only have one rewriter active at a time (as underneath it's a single parameter
that holds a function).
I've been writing a little library to
Would it work to have your code expand into uses of
with-unquote-rewriter that chained things together?
Alternatively, I wouldn't mind if something like that were folded into
Redex itself and with-unquote-rewriters left as part of the public API
for backwards compatibility reasons.
And one other
2 matches
Mail list logo