Skip to content

Commit

Permalink
Update R7RS errata with three minor fixes to formal semantics, close j…
Browse files Browse the repository at this point in the history
  • Loading branch information
Steven Ganz committed Feb 17, 2023
1 parent ff66b79 commit bc25e5f
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions R7RSSmallErrata.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

34\. In the definition of `cons` in the formal semantics, the ω and κ parameters to the function passed to `twoarg` should be swapped.

35\. In the definition of `cwv` in the formal semantics, the second, innermost application of `applicate` should have an additional final argument of κ.

0 comments on commit bc25e5f

Please sign in to comment.