[r6rs-discuss] backslash-linefeed indentation

From: r6rsguy at free-comp-shop.com <r6rsguy>
Date: Mon, 15 Oct 2007 20:39:51 -0400

I just got R6RS printed and bound. As I was paging through
it, I noticed something I had noticed before.

> From: Michael Sperber <sperber at informatik.uni-tuebingen.de>
> Cc: r6rs-discuss at lists.r6rs.org
>
> r6rsguy at free-comp-shop.com writes:
>
> > Should not (page 13)
> >
> > <string element> -> ...
> > | \<intraline whitespace> <line ending> <intraline whitespace>
> > <intraline whitespace> -> <character tabulation>
> > | <any character whose category is Zs>
> >
> > Have a Kleene star in there somewhere? E.g. either
> >
> > <string element> -> ...
> > | \<intraline whitespace>* <line ending> <intraline whitespace>*
>
> Yes.
>
> I'll see that it's added to the errata page, and fixed in the final
> document.
>
> Thanks for catching this!

It is indeed on the errata page:

  http://www.r6rs.org/versions/r5.97rs-errata.html

  ? 4.2.1, production for <string element>
    The two occurrences of <intraline whitespace>
     should have a * after them.

Yet my printed copy has no *. I believe I printed the
*.pdf files from r6rs.tar.gz; It says 26 September 2007
on the title page.

   -- Keith
Received on Mon Oct 15 2007 - 20:39:51 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC