[Bug 4183] Static typing of K-SeqReverseFunc-17, 18

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

           Summary: Static typing of K-SeqReverseFunc-17, 18
           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


Since the filter expression is not a numeric literal, the LHS of the eq
operator is statically typed as a zero-or-more sequence, upsetting operator eq.

(:*******************************************************:)
(: Test: K-SeqReverseFunc-17                             :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:40+02:00                       :)
(: Purpose: Apply a predicate to the result of fn:reverse(). :)
(:*******************************************************:)
reverse((1, 2, 3))[last() - 2] eq 3

Received on Wednesday, 10 January 2007 14:30:28 UTC