This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Comment from Thomas Fischer on public-qt-comments: The documentation for array:join says: Concatenates the contents of several arrays and "concat" is a common term for such functionality for arrays, whereas "join" is common to join the elements of an array into a string, separated by a specified separator. Therefore I would propose: array:join($array as array(*)) as xs:string array:join($array as array(*), $separator as xs:string) as xs:string array:concat($arrays as array(*)*) as array(*)
Provisional personal response: Thanks for the feedback but I fear it is too late now to make cosmetic changes like this; the cost of making the change exceeds any benefit.
Yes, thank you for the feedback. I might have also preferred "concat" but I think "join" is OK and I agree with Mike that the cost of making this change is not justified at this point.
The WG decided to close this as "works for me" on the basis that it's too late to be making such changes.