[r6rs-discuss] backslash-linefeed indentation

From: r6rsguy at free-comp-shop.com <r6rsguy>
Date: Fri, 20 Jul 2007 16:54:39 -0400

> ... and probably fell between the cracks.

I hate to say the same thing twice, but the lack
of any reply at all makes me worry that this simple
bug fix has been lost in the infinitely more interesting
philosophical discussion that followed Dr. Clingers's
Essay.

For reasons I understand not at all, my previous attempt to
send this came back to me with a #\> character inserted at this
point, and on the web page was simply truncated here.
Kind of makes it pointless.

Taken from R5.97RS (page 13)

  <string element> -> ...
    | \ <intraline whitespace> <line ending> <intraline whitespace>
  <intraline whitespace> -> <character tabulation>
    | <any character whose category is Zs>

Should have a Kleene star representing repetition, thus:

  <string element> -> ...
    | \ <intraline whitespace>* <line ending> <intraline whitespace>*

otherwise you are requiring exactly one space on each side
of a line break within a string.

See my previous message with this title for some
silly questions that I still can't answer.

   -- Keith
Received on Fri Jul 20 2007 - 16:54:39 UTC

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