[Bug 21893] New: [XP30] Casting to QName - error codes

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

            Bug ID: 21893
           Summary: [XP30] Casting to QName - error codes
    Classification: Unclassified
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 3.0
          Assignee: jonathan.robie@gmail.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

XPath 3.0 claims in 2.5.2 that casting to a namespace-sensitive type raises
XPTY0117 if the prefix is not in scope.

This is incorrect. F+O, which has the definitive specification for casting,
says this is a dynamic error FONS0004.

This must be a dynamic error rather than a type error because it depends on
knowledge of the actual supplied value.

XPTY0117 is in fact a different error: it is raised when an untypedAtomic value
is supplied to a function that expects a QName (regardless whether the prefix
is in scope or not). The error is correctly described in 3.1.5.2 (function
conversion rules) but is wrongly described in the error codes appendix.

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

Received on Wednesday, 1 May 2013 10:47:40 UTC