Update R7RS errata with three minor fixes to formal semantics, close … #41
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ashinn
approved these changes
Feb 18, 2023
| @@ -151,3 +151,9 @@ apply only to *non-ASCII* characters; the valid ASCII characters are given expli | |||
| 31\. 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. Prefix the sentence with "After macros are expanded". | |||
|
|
|||
| 32\. In the third paragraph of the definition of `null-environment`, the reference to `scheme-report-environment` should be to `null-environment`, and is changed accordingly. | |||
|
|
|||
| 33\. In the definition of `car-internal` in the formal semantics, the ω parameter should be dropped. | |||
There was a problem hiding this comment.
Although the formal semantics was updated to support dynamic-wind, it does not include exception handling (arguably derivable) introduced in R7RS. If we were to later add this, it might be more correct to pass omega through to car-internal, in consideration of implementations which signal an error here (not required).
There was a problem hiding this comment.
In that case, the type of car-internal will need a fix instead.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
…#39 and close #40.