Am Di., 8. Nov. 2022 um 17:24 Uhr schrieb Daphne Preston-Kendal
<xxxxxx@nonceword.org>:
>
> > On 8 Nov 2022, at 17:22, Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:
> >
> > PS Due to phasing, record definitions that are used in macro expanders
> > have to be defined locally (unless one writes a helper library). E.g.:
>
>
> With begin-for-syntax, this would not be an issue.

As wouldn't it with `meta'.

But that wasn't my point; we don't have such a thing in the language yet. :)

I just wanted to point out that not only for stylistic reasons, one
may wish to have local record definitions.  (That said, even with
`begin-for-syntax' or `meta', it can still make sense to have the
record type definition inside the transformer if it is only used
there.)