This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
There are several errors in the binary operators table in section C.2: for fs:minus(A, B) with xs:dateTime arguments: "fn:get-dayTimeDuration-from-dateTimes(A, B)" should be "fn:subtract-dateTimes(A, B)". For fs:eq with xs:string arguments "op:numeric-equal(fn:compare(A, B), 1)" should be "op:numeric-equal(fn:compare(A, B), 0)". For fs:ne with xs:string arguments "fn:not(op:numeric-equal(fn:compare(A, B), 1))" should be "fn:not(op:numeric-equal(fn:compare(A, B), 0))". The lines for fs:eq with xs:dayTimeDuration and xs:yearMonthDuration arguments should be replaced with one line for xs:duration arguments with "op:duration-equal(A, B)" as the "Denotes" entry, since op:dayTimeDuration-equal and op:yearMonthDuration equal no longer exist. The lines for fs:ne with xs:dayTimeDuration and xs:yearMonthDuration arguments should be replaced with one line for xs:duration arguments with "xs:not(op:duration-equal(A, B))" as the "Denotes" entry, since op:dayTimeDuration-equal and op:yearMonthDuration equal no longer exist.
I believe all of those are bugs in the latest documents and should be fixed as suggested. - Jerome
Olivier, The XSLT and XML Query Working groups have adopted your proposal and will make the corresponding changes in the next version of the formal semantics documents. Best regards, - Jerome Simeon on behalf of the XSLT and XML Query WGs