[Bug 3377] About op:time-equal using xs:dateTime

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

           Summary: About op:time-equal using xs:dateTime
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: PC
               URL: http://www.w3.org/TR/xquery-operators/#func-time-equal
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators
        AssignedTo: ashok.malhotra@oracle.com
        ReportedBy: atsushi.ohtake.mf@hitachi.com
         QAContact: public-qt-comments@w3.org


Confirmation about example of 10.4.12 op:time-equal.

Why below example return true ?
op:time-equal(xs:time("24:00:00+01:00"), xs:time("00:00:00+01:00")) returns
true.

According to spec of this function, this example normalize to 
1972-12-31T23:00:00Z and 1972-12-30T23:00:00Z, so it should return false.

And section of "10.2 Date/time datatype values" says 
"For xs:dateTime, a time component "24:00:00" translates to "00:00:00" of the
following day.", I think.

Regards,
Atsushi Ohtake
Hitachi, Ltd.

Received on Wednesday, 21 June 2006 12:50:28 UTC