[r6rs-discuss] backslash-linefeed indentation

r6rsguy at free-comp-shop.com r6rsguy at free-comp-shop.com
Mon Oct 15 20:39:51 EDT 2007


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



More information about the r6rs-discuss mailing list