Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (23 Oct 2020 14:00 UTC)
Re: Erratum requested (what is a BODY?) Arthur A. Gleckler (23 Oct 2020 14:50 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (25 Oct 2020 08:44 UTC)
(missing)
Re: Erratum requested (what is a BODY?) Arthur A. Gleckler (26 Oct 2020 18:25 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (26 Oct 2020 18:32 UTC)
Re: Erratum requested (what is a BODY?) Alex Shinn (27 Oct 2020 05:55 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (27 Oct 2020 06:39 UTC)

Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen 25 Oct 2020 08:43 UTC

Am Fr., 23. Okt. 2020 um 16:50 Uhr schrieb Arthur A. Gleckler
<xxxxxx@speechcode.com>:

> CC-ing Oleg Kiselyov, author of SRFI 2.

I'm sorry that I forgot it myself.

> Marc, would you propose the precise language that you would like to be included?

In the "Formal Semantics" section, I propose to clarify

eval[ (AND-LET* () FORM1 ...), env] = eval[ (BEGIN FORM1 ...), env ]

to

eval[ (AND-LET* () FORM1 ...), env] = eval[ (LET* () FORM1 ...), env ]

which is unambiguous as there is only one LET* form.

In the "Syntax" section, I would add a bullet point:

* BODY is a body as in a LET* form.

-- Marc