- From: Michael Kay <mike@saxonica.com>
- Date: Wed, 30 Nov 2016 17:24:52 +0000
- To: Thomas Fischer <fischer.th@gmail.com>
- Cc: public-qt-comments@w3.org
Thanks for the comment, logged at: https://www.w3.org/Bugs/Public/show_bug.cgi?id=30025 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. Michael Kay Saxonica > On 30 Nov 2016, at 16:20, Thomas Fischer <fischer.th@gmail.com> wrote: > > Hi, > 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(*) > > salute > Th. Fischer
Received on Wednesday, 30 November 2016 17:25:23 UTC