[Bug 4181] Static typing of K-SeqIndexOfFunc-6, 12, 14, 17

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

           Summary: Static typing of K-SeqIndexOfFunc-6, 12, 14, 17
           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 static return type of index-of is xs:integer* and thus a static type check
error is detected when comparing the result of this function against an integer
with eq.

(:*******************************************************:)
(: Test: K-SeqIndexOfFunc-6                              :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:40+02:00                       :)
(: Purpose: A test whose essence is: `index-of("a string", "a string",
"http://w
ww.w3.org/2005/xpath-functions/collation/codepoint") eq 1`. :)
(:*******************************************************:)
index-of("a string", "a string",
                       
"http://www.w3.org/2005/xpath-functions/collation/codepo
int") eq 1

Received on Wednesday, 10 January 2007 14:16:20 UTC