On 26 April 2011 15:11, Malcolm Tredinnick <malcolm.tredinnick@x> wrote:
Hi Alex,
A couple of possible typographical oversights that I don't think I've seen go past yet:
(1) letrec* is not mentioned in the _expression_ keyword production on page 49.
(2) Pages 6 and 49 both say that the vertical bar is reserved for future language extensions, but it's already being used (in comments and as an identifier delimiter). Am I misunderstanding the context in which it's reserved, or is that a remnant from older reports?
(3) Page 6 refers to the <interlexeme space> rule (when talking about #;). That is the R6RS term for what is <intertoken space> in this draft.
(4) The grammar in 7.1.1 allows || as an <identifier>. However, page 5 suggests the "|...|" form is only for convenience (e.g. |foo bar| is equivalent to foo\x20bar). There's no way to normalise || to anything without the vertical bars that's a valid identifier. Was that intentional, or should the rule be
<vertical bar> <symbol element>+ <vertical bar>?
I forgot a couple (messy scratch notes on my end):
(5) The <datum> production in 7.1.2 (page 50) has a clause that is <label> <datum>. Shouldn't that be
<label> = <datum>to provide the #0=... portion of reader labelling?
(6) At the end of 7.1.2, there's a missing line break before the <label> production. It's ended up on the same line as the <vector> production, making it difficult to spot.
Malcolm
_______________________________________________ Scheme-reports mailing list Scheme-reports@x http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports