[Bug 26958] On not precluding updates in XQuery 3.1

https://www.w3.org/Bugs/Public/show_bug.cgi?id=26958

--- Comment #22 from Michael Kay <mike@saxonica.com> ---
In response to comment #21, I do not believe any change to F+O is needed.

(a) it's clear that maps are currently immutable and that operations produce
new maps rather than making in-situ modifications

(b) the specification does not preclude changes being made in the future. None
of our specifications do.

However, words like "creates", "constructs", and "new" might be better avoided
because they could be misinterpreted as saying something about identity, when
this is not intended. 

For example, the summary of fn:remove is currently

Returns a new sequence containing all the items of $target except the item at
position $position.

which might be better phrased as

Returns a sequence containing all the items of $target except the item at
position $position.

(Saying it returns a "new sequence" is a bit like saying that 2+2 returns a
"new integer")

Similarly, the summary of map:remove is currently

Constructs a new map by removing an entry from an existing map

which might be better phrased as

Returns a map containing all the entries of an existing map $map with the
exception of the entry that has key $key.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 4 November 2014 23:29:01 UTC