[Bug 3844] Static typing of external context item tests

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

           Summary: Static typing of external context item tests
           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


The following tests all fail static type checking as they contain expressions
which expect something with type quantified ZeroOrOne, but are passed in a
child:: expression which can return more than elements.

For example, from externalcontextitem-5

for $var in $input-context1/works/employee[1]
return $var/xs:float(hours)


The other tests are similar. Could they be changed to exactly-one(hours).

Relavent tests are:

externalcontextitem-2
externalcontextitem-3
externalcontextitem-4
externalcontextitem-5
externalcontextitem-6
externalcontextitem-7
externalcontextitem-8
externalcontextitem-10
externalcontextitem-11
externalcontextitem-12
externalcontextitem-13
externalcontextitem-14
externalcontextitem-15
externalcontextitem-16
externalcontextitem-17
externalcontextitem-18
externalcontextitem-21

Received on Tuesday, 17 October 2006 14:11:30 UTC