New draft (#3) of SRFI 206: Auxiliary Syntax Keywords Arthur A. Gleckler (22 Sep 2020 16:27 UTC)
Re: New draft (#3) of SRFI 206: Auxiliary Syntax Keywords Marc Nieper-Wißkirchen (22 Sep 2020 16:57 UTC)

Re: New draft (#3) of SRFI 206: Auxiliary Syntax Keywords Marc Nieper-Wißkirchen 22 Sep 2020 16:57 UTC

Thanks, Arthur!

So the discussion with John about how to name the magic library has
helped me to make up my mind. In the new draft, it is called (srfi 206
all). No special characters anymore.

As for the difficulty of implementing SRFI 206, in my Unsyntax
expander, it was actually more straightforward to implement
`define-auxiliary-syntax' than to implement the magic library `(srfi
206 all)'. For an implementation with a meta level like Chibi, it can
be the other way round. In any case, if an implementer is willing, it
isn't hard to implement either. AOT compilation works with the model.

As the poor man's implementation can only support `(srfi 206 all)'
(unless unhygienic macros are available to emulate
`define-auxiliary-syntax' for the well-known auxiliary syntax), this
is the preferred method for code that strives for maximal portability.
I added a note about this in the document. (From the point of
programming-language theory, `define-auxiliary-syntax' is the more
fundamental, so it will stay for the purists and for the macro
enthusiasts.)

Marc

Am Di., 22. Sept. 2020 um 18:27 Uhr schrieb Arthur A. Gleckler
<xxxxxx@speechcode.com>:
>
> I've just published draft #3 of SRFI 206. It was submitted by Marc Nieper-Wißkirchen, author of the SRFI.
>
> Here are Marc's comments on the draft:
>
> Rename (srfi 206 *) to (srfi 206 all), which is more portable.
> Refer to sample implementation in Unsyntax.
> Add a note that for maximum portability, (srfi 206 all) should be used preferably to (srfi 206).
> Include test case.
> In particular, we now have a complete implementation as I implemented everything in Unsyntax.
> Depending on the further comments on the mailing list, this could become (barring minor changes) the final draft.
>
> Here is the commit summary:
>
> Add "poor man's implementation."
> Apply changes from Marc.
> Update permanent redirect per <checklink>.
> Publish third draft.
>
> Here's the diff:
>
> https://github.com/scheme-requests-for-implementation/srfi-206/compare/draft-2..draft-3
>
> Regards,
>
>
> SRFI Editor