[Bug 29182] New: [XQ31] Whitespace rule in StringConstructor

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29182

            Bug ID: 29182
           Summary: [XQ31] Whitespace rule in StringConstructor
           Product: XPath / XQuery / XSLT
           Version: Proposed Recommendation
          Hardware: PC
               URL: https://www.w3.org/XML/Group/qtspecs/specifications/xq
                    uery-31/html/xquery-31.html#prod-xquery31-StringConstr
                    uctor
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.1
          Assignee: jonathan.robie@gmail.com
          Reporter: tim@cbcl.co.uk
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

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.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Wednesday, 7 October 2015 09:44:09 UTC