[Bug 4154] Static typing of base-uri-28 and base-uri-29

• From: <bugzilla@wiggum.w3.org>
• Date: Mon, 08 Jan 2007 14:19:05 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1H3vL7-0005cf-Qf@wiggum.w3.org>

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

           Summary: Static typing of  base-uri-28 and base-uri-29
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


These queries take the form:

fn:base-uri((<elem xml:base="fluster/"><a xml:base="now"/></elem>)/a)

According to the static typing rules, element "elem" is typed as:

element elem of type xs:anyType

This means that the argument to fn:base-uri is typed as:

element a of type xs:anyType*

i.e. a zero-or-more sequence, whereas the function expects a zero-or-more
sequence.

Received on Monday, 8 January 2007 14:19:15 UTC