[Bug 6559] New: [XPath] PI name test must require string literals that satisfy NCName rules

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6559

           Summary: [XPath] PI name test must require string literals that
                    satisfy NCName rules
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


Bug 5351 closed following the resolution of the bug with the text

"The name test shown in this bug report will always result in a dynamic error. 
In its teleconference on 2008-01-08, the WG decided (because the error, caused
by a string literal, can be caught statically) to make it a type error
(XPTY0004) if the string literal of a PI name test cannot be converted to an
NCName."

To resolve Bug 6238, could you please clarify whether

"...PI name test cannot be converted to an NCName."

means that

processing-instruction("b ")

raises XPTY0004, or is equivalent to 

processing-instruction("b")

because "b " can be converted to an NCName using xs:NCName("b ").

It would seem reasonable that the normaliztion rules for constructed processing
instructions would be updated along the lines of:

[processing-instruction StringLiteral{ Expr }]Expr
==
processing-instruction { xs:NCName(StringLiteral) }{
fs:item-sequence-to-untypedAtomic-PI(( [Expr]Expr)) }


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 11 February 2009 17:31:14 UTC