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

[Bug 3695] Static typing of value comparisons

From: <bugzilla@wiggum.w3.org>
Date: Mon, 11 Sep 2006 09:18:01 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GMhvV-0003AT-0m@wiggum.w3.org>

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

           Summary: Static typing of value comparisons
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


In:

http://www.w3.org/TR/xquery-semantics/#sec_value_comparisons

"The static semantics for function calls is given in [4.1.5 Function Calls].
The comparison functions all have return type xs:boolean, as specified in
[Functions and Operators]."

Since value comparisons can operate on empty sequences, shouldn't
ValueOp(Expr1, Expr2) type check to xs:boolean? in the general case?
Received on Monday, 11 September 2006 09:18:07 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC