[Bug 3695] Static typing of value comparisons

• From: <bugzilla@wiggum.w3.org>
• Date: Mon, 11 Sep 2006 09:18:01 +0000
• To: public-qt-comments@w3.org
• CC:
• 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