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


------- Comment #1 from mike@saxonica.com  2006-06-21 13:37 -------
This example was added to the spec deliberately because it is not the result
you might expect. For xs:dateTime values, it's true that a time of 24:00:00 is
equivalent to 00:00:00 on the following day. But for xs:time, the normalization
from 24:00:00 to 00:00:00 happens before the time is converted into a dateTime
for the purpose of the equality comparison. For xs:time, any operation on
24:00:00 produces the same result as the same operation on 00:00:00 because
these are two different lexical representations of the same value.

Michael Kay
(personal response)

Received on Wednesday, 21 June 2006 13:37:56 UTC