29182 2015-10-07 09:44:02 +0000 [XQ31] Whitespace rule in StringConstructor 2015-10-08 03:54:13 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.1 Proposed Recommendation PC Windows NT RESOLVED FIXED https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31.html#prod-xquery31-StringConstructor P2 normal --- 1 tim jonathan.robie jmdyck public-qt-comments oldest_to_newest 123590 0 tim 2015-10-07 09:44:02 +0000 It's not entirely clear from the grammar [177] StringConstructor ::= "``[" StringConstructorContent "]``" [178] StringConstructorContent ::= StringConstructorChars (StringConstructorInterpolation StringConstructorChars)* [179] StringConstructorChars ::= (Char* - (Char* ('`{' | ']``') Char*)) /* ws: explicit */ whether the whitespace in ``[ ]`` ``[ hello ]`` ``[ `{ $x }` ]`` forms part of the constructed string, since the ws: explicit rule isn't applying to production [177]. [Definition: Whitespace and Comments function as symbol separators. For the most part, they are not mentioned in the grammar, and may occur between any two terminal symbols mentioned in the grammar, except where that is forbidden by the /* ws: explicit */ annotation in the EBNF, or by the /* xgc: xml-version */ annotation.] If I'm not mistaken, whitespace or comments may appear between the terminal symbols "``[" and Char. 123605 1 jmdyck 2015-10-08 03:54:13 +0000 Whoops! Fixed. (I've changed the grammar file so that the productions for StringConstructor and StringConstructorContent will be marked "ws:explicit" the next time the XQ31 spec is built.)