[Bug 3834] Static typing of "order by" expressions in use cases

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

           Summary: Static typing of "order by" expressions in use cases
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


FS 4.8.4 states "the static semantics of a FLWORExpr expression with an
OrderByClause is equivalent to the static semantics of an equivalent FLWORExpr
in which the OrderByClause is replaced by a call to the gt comparison over the
corresponding OrderSpec expression(s)".

Which I think means the following use cases should fail static type checking as
they contains sequences on the lines indicated.


xmp-queries-results-q7
order by $b/title


xmp-queries-results-q12
order by $a/last, $a/first


rdb-queries-results-q2
order by $i/itemno


rdb-queries-results-q10
order by $highbid/itemno


rdb-queries-results-q13
rdb-queries-results-q16
order by $u/userid


rdb-queries-results-q16
let $descr := $i/description/text()
order by $descr

Received on Friday, 13 October 2006 17:10:51 UTC