Hi,<div><br></div><div>In the past I've used Blackhole, the bundled syntax-case implementation and Alexpander.</div><div>Each one has its own advantages and disadvantages:</div><div><br></div><div>blackhole</div><div>- A: it works well, and not only syntax-rules, but also sc-macro-transformer and er-macro-transformer</div>

<div>- D: forces you to use its module system. I think this is a mistake, since is not standard, but anyway it has some current limitations for my work that I tried to fix in my own branch but stem from deep parts of blackhole that would require a deep understanding and rewrite. I tried that already and spent a fair amount of time working with Per these issues and decided to drop it.</div>

<div><br></div><div>syntax-case</div><div>- A: installed with Gambit, easy to setup, supports syntax-case? (I guess so, but haven't tried this last point as I don't really care at the moment)</div><div>- D: incompatible with DSSSL and other Gambit functionality. I really don't understand why the bundled implementation doesn't support it...</div>

<div><br></div><div>Alexpander</div><div>- A: it is supposed to support DSSSL and be nicer to Gambit</div><div>- D: I still get errors related to define-macros, even if they are not mixed with define-syntax macros. Taking into account that some of my macros work with both blackhole and syntax-case but not with alexpander, I assume this implementation is less mature/stable.</div>

<div><br></div><div>The point is: is there any stable, good implementation of R5RS syntax-rules that is fully-compatible and nice to all of Gambit's functionality?</div><div><br></div><div>I believe this should be a basic feature of the Gambit ecosystem, but maybe I'm missing something. </div>

<div>Any help, ideas or opinions?</div><div><br></div><div>Best regards,</div><div><br></div><div>Álvaro Castro-Castilla</div><div><br></div>