[Bug 19480] New: [QT3TS] CastAsNamespaceSensitiveType-5

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

          Priority: P2
            Bug ID: 19480
          Assignee: oneil@saxonica.com
           Summary: [QT3TS] CastAsNamespaceSensitiveType-5
        QA Contact: public-qt-comments@w3.org
          Severity: normal
    Classification: Unclassified
                OS: Windows NT
          Reporter: tim@cbcl.co.uk
          Hardware: PC
            Status: NEW
           Version: Working drafts
         Component: XQuery 3 & XPath 3 Test Suite
           Product: XPath / XQuery / XSLT

Since this function is declared as returning a string, function argument
conversion, static type analysis spots that  the declared return type (string)
of the function does not match the actual type returned (NOTATION).  It
therefore raises XPTY0004.

I think the intention of the test was to spot casting of the
<tag>xs:integer</tag> to xs:NOTATION, and thus suggest removing "as xs:string".


     declare function local:clarkname($q as xs:NOTATION) as xs:string {
       $q
     };

     local:clarkname(<tag>xs:integer</tag>)

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