[Bug 4158] Static typing of K-StringToCodepointFunc-15, 16, 17, 18, 19, 21

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

           Summary: Static typing of K-StringToCodepointFunc-15, 16, 17, 18,
                    19, 21
           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 [0 + last()] is not a numeric literal, the types
supplied to the eq operator are integer* and integer, hence a static type
checking error is reported.

(:*******************************************************:)
(: Test: K-StringToCodepointFunc-15                      :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:39+02:00                       :)
(: Purpose: Combine string-to-codepoints() and a predicate. :)
(:*******************************************************:)
string-to-codepoints("Thérèse")[0 + last()] eq 101

Received on Monday, 8 January 2007 17:03:21 UTC