Two proposed errata to R7RS-small report

[John Cowan]

In section 1.1, the sentence " Each use of a variable is associated with a lexically apparent binding of that variable" appears.  However, this is only true after macroexpansion, as the binding may be hidden in a user-written macro.  Suggestion: add the words "(after macros are expanded)" after "associated".

=====

In the third paragraph of the definition of `null-environment`, the reference to `scheme-report-environment` should be to `null-environment`.  Proposal: change accordingly.

[Gerald Jay Sussman]

Your patchseems OK to me.

> Date: Tue, 26 Jul 2022 09:55:21 -0400
> From: John Cowan <co...@ccil.org>

> --
> You received this message because you are subscribed to the Google Groups
> "scheme-reports-wg1" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> scheme-reports-...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/scheme-reports-wg1/CAD2gp_QbKUk5aZSLyGODVo0SxYHigaFmwT%2BGbP5HhwGf7UZhkw%40mail.gmail.com.

[Steven Ganz]

I prefer to think of the pre-expanded program as also including both uses and bindings of variables (with "use" as reference).  Looking at it that way, the text was not actually wrong, but one must review the macros to distinguish uses and bindings.    

Maybe better to stick "After macros are expanded, " at the beginning of the sentence, so that "use" of a variable isn't defined pre-expansion?

---

From: "John Cowan" <co...@ccil.org>
To: scheme-re...@googlegroups.com
Sent: Tuesday, July 26, 2022 9:55:21 AM
Subject: [scheme-reports-wg1] Two proposed errata to R7RS-small report

In section 1.1, the sentence " Each use of a variable is associated with a lexically apparent binding of that variable" appears. However, this is only true after macroexpansion, as the binding may be hidden in a user-written macro. Suggestion: add the words "(after macros are expanded)" after "associated".

=====

In the third paragraph of the definition of `null-environment`, the reference to `scheme-report-environment` should be to `null-environment`. Proposal: change accordingly.

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg1" group.

To unsubscribe from this group and stop receiving emails from it, send an email to [ mailto:scheme-reports-...@googlegroups.com | scheme-reports-...@googlegroups.com ] .
To view this discussion on the web visit [ https://groups.google.com/d/msgid/scheme-reports-wg1/CAD2gp_QbKUk5aZSLyGODVo0SxYHigaFmwT%2BGbP5HhwGf7UZhkw%40mail.gmail.com?utm_medium=email&utm_source=footer | https://groups.google.com/d/msgid/scheme-reports-wg1/CAD2gp_QbKUk5aZSLyGODVo0SxYHigaFmwT%2BGbP5HhwGf7UZhkw%40mail.gmail.com ] .

[John Cowan]

LGTM.

Alex, do you confirm?

To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/scheme-reports-wg1/1438374909.5843469.1658845629024.JavaMail.zimbra%40genetius.com.

[Alex Shinn]

LGTM.

[John Cowan]

Listed as errata 31 and 32 in <https://github.com/johnwcowan/r7rs-work/blob/master/R7RSSmallErrata.md> and pushed to the <https://github.com/johnwcowan/r7rs-spec> repo.