[Bug 3652] Problems with binary operators table in C.2

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

           Summary: Problems with binary operators table in C.2
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


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.

Received on Monday, 4 September 2006 15:02:38 UTC