[r6rs-discuss] backslash-linefeed indentation

Michael Sperber sperber at informatik.uni-tuebingen.de
Thu Aug 2 03:04:25 EDT 2007


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



More information about the r6rs-discuss mailing list