Last call for comments on SRFI 206: Auxiliary Syntax Keywords Arthur A. Gleckler (13 Oct 2020 18:57 UTC)
Re: Last call for comments on SRFI 206: Auxiliary Syntax Keywords Marc Nieper-Wißkirchen (14 Oct 2020 05:35 UTC)
Reference implemenation Shiro Kawai (14 Oct 2020 07:04 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 07:32 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 08:44 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 08:46 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 08:53 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 09:00 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 09:11 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 09:19 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 09:38 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 10:01 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 11:12 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (14 Oct 2020 11:23 UTC)
Re: Reference implemenation Shiro Kawai (14 Oct 2020 11:47 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (22 Oct 2020 11:18 UTC)
Re: Reference implemenation Shiro Kawai (23 Oct 2020 07:59 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (23 Oct 2020 08:28 UTC)
Re: Reference implemenation Marc Nieper-Wißkirchen (23 Oct 2020 08:34 UTC)

Re: Reference implemenation Marc Nieper-Wißkirchen 14 Oct 2020 09:00 UTC

Am Mi., 14. Okt. 2020 um 10:53 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>
> On Tue, Oct 13, 2020 at 10:46 PM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:
>>
>>
>> How does Gauche implement "free-identifier=?"?
>
>
> We have an internal object that represents a binding.  Two identifiers resolve to the same binding, or both resolves to no binding, returns #t for free-identifier=?.

So I think to implement define-auxiliary-syntax you need a
distinguished type of binding that is only parameterized by the name,
a symbol, right?

E.g.: (same-binding? (auxiliary-syntax-binding 'foo)
(auxiliary-syntax-binding 'foo)) => #t where
"auxiliary-syntax-binding" is a procedure return this type of binding.