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
I have a scribble document with several examples. When I view the scribble
html output by using DrRacket, all the examples are fine, the output is
correct, and I see no errors.
Then I go to the directory, use raco pkg install, and I get a major text
dump which starts with "cannot instantiate 'rack
I have a scribble document with several examples. When I view the scribble
html output by using DrRacket, all the examples are fine, the output is
correct, and I see no errors.
Then I go to the directory, use raco pkg install, and I get a major text
dump which starts with "cannot instantiate 'rack
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
4 matches
Mail list logo
