Shiro, Arthur asked me whether we could finalize the specification of
the SRFI. I would like to ask you whether you found any issue with the
spec itself while you were thinking about how to implement in Gauche?

PS Have you received my latest private mail about breaking down the
syntax system?

Am Mi., 14. Okt. 2020 um 13:46 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>
>
>
> On Wed, Oct 14, 2020 at 1:23 AM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:
>>
>> Am Mi., 14. Okt. 2020 um 13:12 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>> >
>> > I can see it is doable; after all, if you preprocess the entire source and fully rename identifiers so that no shadowing happens, it becomes trivial.  The issue lies in the shortcut I took, that I reuse compile-time/runtime structures in place of fully abstracted identifiers; it happens that such structure for the toplevel bindings and local bindings are incompatible.
>>
>> Maybe you can algorithmically rename the identifiers so that you don't
>> need necessarily need another table?
>
>
> Gauche's design is restricted to avoid allocation during compilation as much as possible, for it counts as a scripting engine.  That's the reason I avoided naive "renaming" implementation.  Now that I see the issue, though, I think I can make it work.
>