- From: <bugzilla@jessica.w3.org>
- Date: Wed, 01 Jun 2016 16:02:24 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29679
Josh Spiegel <josh.spiegel@oracle.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |josh.spiegel@oracle.com
--- Comment #1 from Josh Spiegel <josh.spiegel@oracle.com> ---
In this case, it falls under this clause of op:same-key:
"$k1 and $k2 when converted to decimal numbers with no rounding or loss of
precision are mathematically equal"
And if I understand you correctly, in your case the lossy decimal created by
the cast is different from the lossless decimal created internally by the map
implementation.
In other words, for this query:
let $f := 1 div 3 cast as xs:float
let $m := map { $f : 1 }
return
map:contains($m, xs:decimal($f))
You will return false but other implementations may return true.
It does seem that the specification allows this but at the same time this test
is useful for implementations that do have implementations of decimal that can
losslessly represent float and double.
Perhaps we could add a feature in the test suite to tag and optionally filter
tests like this. I have several test bugs on my plate that I could apply this
to.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Wednesday, 1 June 2016 16:02:31 UTC