[Bug 4417] Static typing of emptyorderdecl-2

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

           Summary: Static typing of emptyorderdecl-2
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows NT
            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


Queries such as emptyorderdecl-2 exhibit a static typing error.

The order specifier $i/text() is statically typed as a zero-or-more sequence.

Other affected queries are emptyorderdecl-3, 10, 11, 14 15, 18, 19, 22, 24.

(: Name: emptyorderdecl-2 :)
(: Description: Evaluation of a prolog that specifies "empty greatest" with a
se
t of nodes (one empty) and sort them in ascending order :)

declare default order empty greatest;

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

for $i in (<a>1</a>,<a>4</a>,<a></a>,<a>7</a>)
order by $i/text() ascending
return $i

Received on Tuesday, 27 March 2007 16:41:32 UTC