[r6rs-discuss] backslash-linefeed indentation

From: Michael Sperber <sperber>
Date: Thu, 02 Aug 2007 09:04:25 +0200

r6rsguy at free-comp-shop.com writes:

> Am I right in thinking that the intention of the change
> described there is that
>
> (string=? "This is\
> \ a string" "This is \
> a string" "This is a string")
>
> must be true? (The response to comment #9 [1] confuses me.)

Yes.

> 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!

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Thu Aug 02 2007 - 03:04:25 UTC

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