[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