W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 08 Sep 2006 09:11:28 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GLcOW-0006io-N8@wiggum.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:30 UTC