W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2009

[Bug 6871] [FO] Erronneous value comparison operator mapping for xs:time?

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 May 2009 12:00:19 +0000
To: public-qt-comments@w3.org
Message-Id: <E1M4D8F-0004z5-Ce@wiggum.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6871


Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




--- Comment #1 from Michael Kay <mike@saxonica.com>  2009-05-13 12:00:19 ---
>The mapping would suggest that op:time-equal backs up "eq" and "ne";
op:time-greater-than backs up "gt" and "le"; and op:time-less-than backs up
"lt" and "ge".

Yes, I think that's correct, and the "backs up" statements should be corrected.

>However I'm not sure the mapping in the XQuery spec is what is intended: Using
that mapping, two xs:time values that should be incomparable

All xs:time values are comparable using these operators. Timezone differences
are handled by applying the implicit timezone.

I'm not absolutely sure whether the two possible definitions of the operators
are equivalent, for example whether not($s lt $t) is always equivalent to ($s
eq $t or $s gt $t), but to avoid depending on this we should be consistent in
how it's defined.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 13 May 2009 12:00:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:57 GMT