[Bug 4186] Static typing of fn-collection-10, 10d

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

           Summary: Static typing of fn-collection-10, 10d
           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


The second argument ($c2[$p]) to operator "is" is statically typed as a
zero-or-more sequence.  The formal semantics rules only permit the
normalization of this sort of expression to a subsequence when the predicate is
a numeric literal or fn:last() (i.e. not for any numeric argument).  Can anyone
comment on why this restriction is necessary?


(: Name: fn-collection-10 :)
(: Description: Test that two uses of fn:collection are stable.:)

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

let $c1 := fn:collection($input-context)
let $c2 := fn:collection($input-context)
for $c at $p in $c1
return $c is $c2[$p]

Received on Wednesday, 10 January 2007 17:08:35 UTC