W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2016

[Bug 29723] [FO31] map:merge

From: <bugzilla@jessica.w3.org>
Date: Sun, 10 Jul 2016 09:38:47 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29723-523-7iUpwAZKS2@http.www.w3.org/Bugs/Public/>

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
Note also: in map:merge, the sentence (in a Note)

"This means that in edge cases, where (as a result of numeric promotion) the
·same key· relation is not transitive, different implementations may give
different results."

is obsolete and should be deleted.

Otherwise, my preference is for the status quo. I don't think the rationale
given is strong enough to justify a change.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Sunday, 10 July 2016 09:38:56 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:01 UTC