On Thu, Oct 14, 2021 at 3:25 PM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:

Loko uses the psyntax expander, which implements implicit phasing. Larceny's author once expressed that Larceny will probably switch to implicit phasing if that becomes consensus.

In that case I would say that it has become consensus: there are no remaining R6RS-style explicit phasing systems.

Chicken is quite anti-R6RS and yet uses a system of two explicit phases: one for phase 0 procedures and all macros, and the other for all positive-phase procedures.

Positive-phase means more than one phase?

I mean anything at phase 1, 2, 3, .... This is achieved with define-for-syntax.