This is another update that is not a new draft.
- integrated the new match-letrec
- updated the documentation to reference Oleg's "How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules"
I hope someone volunteers to follow Alex's comments in the source code to adapt the implementation so that it just works in all cases.
Alternatively, if match-letrec has no use cases one may think of dropping it?
I'm following that conversation, I haven't tried to use match-letrec except in the process of writing some tests to see why the original was failing, so I don't have an opinion.
Now I'm working on a feature branch for underscore? .
+1
And blame R6RS for causing you the hard work! :)
My first pass at a solution is done, I'm waiting a little longer for feedback before I merge the branch, in case the macros have some problem.