3695 2006-09-11 09:18:00 +0000 Static typing of value comparisons 2007-01-16 17:52:35 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Windows XP CLOSED FIXED P2 minor --- 1 tim simeon public-qt-comments oldest_to_newest 11605 0 tim 2006-09-11 09:18:00 +0000 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? 11844 1 simeon 2006-09-19 00:01:17 +0000 This is a good catch. The text is not reflecting the current status (probably hasn't for a long time). This should be fixed. I believe the inference rules are consistent with F&O and do not need to be fixed. - Jerome 12035 2 simeon 2006-09-26 14:04:14 +0000 Tim, This bug has been reclassified as editorial. The XSLT and XML Query working groups have decided to accept the comment and fix the text to align with the F&O document. Best, - Jerome On Behalf of the XSLT and XML Query WGs