Am Mi., 14. Okt. 2020 um 11:38 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>
>
>
> On Tue, Oct 13, 2020 at 11:19 PM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:
>>
>> Am Mi., 14. Okt. 2020 um 11:11 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>> >
>> > What I'm thinking is that define-auxiliary-syntax creates a binding in the srfi.207 module and then imports it to the current module (with the same mechanism as renaming import).
>>
>> If Gauche allows importing modules lexically locally (e.g. in place of
>> other definitions at the beginning of a body) that sounds like a very
>> good approach. If it works out, I can mention it in the implementation
>> section.
>>
>
> Oops, I haven't thought about local bindings.  Ah, it is indeed tricky.  Currently the aforementioned binding object is only for toplevel bindings, and local bindings are checked using the compiler's transient data structure.  The assumption now is that a toplevel binding and a non-toplevel binding can't be free-identifier=?.

That's a restrictive assumption as it makes implementing other
syntactic extensions like the SRFI 212 aliases problematic as well.

What is generally needed for a complete alias functionality is that
(a) top-level bindings can be introduced lexically and (b) outer
lexical bindings can be introduced again in an inner lexical scope.