[Bug 4244] Static typing of K2-StringEqual-1 to 6

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

           Summary: Static typing of K2-StringEqual-1 to 6
           Product: XML Query Test Suite
           Version: unspecified
          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


In static typing implementations, declarations such as:

declare variable $vA as xs:string := ("B STRING", current-time(),
string(<e>cont
ent</e>))[1];

may fail because under the FS typing rules, the RHS is typed as the union type
( xs:string | xs:time ).

(:*******************************************************:)
(: Test: K2-StringEqual-1                                :)
(: Written by: Frans Englich                             :)
(: Date: 2007-01-15T15:15:44+01:00                       :)
(: Purpose: Compare two values returned from fn:lower-case(). :)
(:*******************************************************:)
declare variable $vA as xs:string := ("B STRING", current-time(),
string(<e>cont
ent</e>))[1];
declare variable $vB as xs:string := ("b string", current-time(),
string(<e>cont
ent</e>))[1];
(lower-case($vA) eq lower-case($vB))

Received on Wednesday, 17 January 2007 08:42:05 UTC