- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 13 May 2005 20:26:35 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1414 Summary: [XQuery] Semantics: Treatment of untyped values with value comparisons Product: XPath / XQuery / XSLT Version: Last Call drafts Platform: PC OS/Version: Windows XP Status: NEW Severity: normal Priority: P2 Component: XQuery AssignedTo: chamberl@almaden.ibm.com ReportedBy: mrys@microsoft.com QAContact: public-qt-comments@w3.org We repeat our previous last call comment regarding the semantics of untyped values with value comparisons. The argument of providing transitivity on the user-level syntax for lt, eq, and friends is too weak to introduce the current inconsistency between the general and value comparison treatment of untypedAtomic values. Instead, logical discourse on the transitivity needs to be held on the expanded expressions that have added the implied casts. Note that no general transitivity can be guaranteed anyway due to the impreciseness of float/double value comparisons anyway. We consider the usability aspect of consistent treatment of untypedAtomic values between value and general comparison (and following the general comparison semantics) important enough, that we consider filing a minority opinion on this topic, if it does not get fixed.
Received on Friday, 13 May 2005 20:26:38 UTC