[Bug 3674] Static typing of 1 to 1 eq 1 (K-RangeExpr-1)

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

           Summary: Static typing of  1 to 1 eq 1 (K-RangeExpr-1)
           Product: XML Query Test Suite
           Version: 1.0
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


K-RangeExpr-1 fails the static typing rules.

1 to 1 eq 1 = fs:to(1, 1) eq 1 = fs:eq(fs:to(1, 1), 1)

fs:to has return type xs:integer* and:

"The static type of fs:to does not require any additional static typing rule,
and is typed as a function call based on the above signature."

Under the typing rules of C.2 Mapping of Overloaded Internal Functions, fs:eq
type checks correctly for inputs:

(xs:integer, xs:integer),
(xs:integer?, xs:integer),
(xs:integer, xs:integer?)

and not

(xs;integer*, xs:integer).

Therefore the test fails if the processor carries out static type checking.

Received on Friday, 8 September 2006 09:11:49 UTC