On Dec 1, 2007, at 4:23 AM, Abdulaziz Ghuloum wrote:
> <string> → " <string element>* "
> <string element> → <any character other than " or \>
> | \a | \b | \t | \n | \v | \f | \r
> | \" | \\
> | \<intraline whitespace><line ending>
> <intraline whitespace>
> | <inline hex escape>
> <intraline whitespace> → <character tabulation>
> | <any character whose category is Zs>
Sorry for bothering everybody again.
Is there a Kleene-star missing here somewhere?
Should that have been:
| \<intraline whitespace>*<line ending>
<intraline whitespace>*
It seems like the read0 test is assuming this as well as
assuming that that production produces the <line ending>
part of the rule instead of producing "nothing".
Aziz,,,
Ikarus Scheme version 0.0.2+ (revision 1166, build 2007-12-02)
Copyright (c) 2006-2007 Abdulaziz Ghuloum
> (read
(open-string-input-port
(string #\" #\\ #\linefeed #\\ #\return #\\ #\return #\linefeed
#\\ #\x85 #\\ #\return #\x85 #\\ #\x2028
#\")))
Unhandled exception
Condition components:
1. &error
2. &who: tokenize
3. &message: "invalid string escape"
4. &irritants: (#\linefeed)
Larceny v0.95 "First Safety" (Nov 8 2007 04:30:20, precise:BSD
Unix:unified)
larceny.heap, built on Thu Nov 8 04:39:44 EST 2007
> (read
(open-string-input-port
(string #\" #\\ #\linefeed #\\ #\return #\\ #\return #\linefeed
#\\ #\x85 #\\ #\return #\x85 #\\ #\x2028
#\")))
"\n\r\r\n\x85;\r\x85;\x2028;"
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
