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

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





------- 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)