Am Fr., 25. Sept. 2020 um 19:49 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@gmail.com>:

> >> Of course, to reach consensus, implementers must be willing to do some
> >> work on their implementations.
> >
> >
> > Naturally, but how much, and what existing code will it break?  It's one thing to ask ER implementers to add bound-identifier=?, another to disallow raw symbols in the output.

PPS We have almost only talked about the implementations but the users
matter at least as much. Given the scope of R7RS (large), high-quality
implementations will matter more than toy implementations. And toy
examples of code are less relevant compared to code already written or
code that will be written. For example, the Nanopass framework is an
existing, huge, and successful piece of Scheme software, written with
syntax-case. (I doubt anyone wants to write applied macros like these
with er-macro-transformer.)