xsl-list
[Top] [All Lists]

Re: [xsl] XQuery/XPath 3.1: Node List to Node Set ("distinct nodes")

2021-12-29 14:17:14
On 29.12.2021 20:59, Dimitre Novatchev dnovatchev(_at_)gmail(_dot_)com wrote:
   document (fragments?) are involved.

Yes, bugs happen...

Just trying to evaluate Dr. Kay's fold-left solution with Saxon (EE9.1.7
via Oxygen) I am getting a result of 20 nodes but the correct must be
just 3 nodes. BaseX correctly evaluates the XPath expression and
produces the right 3-nodes result.

Xml document:
<t>
   <a/>
   <b/>
   <c/>
</t>

XSLT stylesheet:

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform
<http://www.w3.org/1999/XSL/Transform>" version="3.0">
   <xsl:output omit-xml-declaration="yes"/>
   <xsl:template match="/">
     <xsl:sequence select=
       "let $xml := /,
       $nodes := (/*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a,
/*/b,
       /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
       /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
       /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
       /*/a, /*/c, /*/b, /*/a, /*/b )
       return
         $nodes => fold-left((), function($all, $this) {$all, $this
except $all})"/>
   </xsl:template>
</xsl:stylesheet>

Result produced when run with Saxon-EE (and also PE) 9.9.1.7 via Oxygen:

<a/><c/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/><b/>

Evaluating the below expression with Saxon-EE XQuery9.9.1.7 also
produces the same unexpected result:

let $xml := parse-xml("<t><a/><b/><c/></t>"),
     $nodes := ($xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b,
$xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b, $xml/*/a, $xml/*/c,
$xml/*/b, $xml/*/a, $xml/*/b, $xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a,
$xml/*/b, $xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b, $xml/*/a,
$xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b,$xml/*/a, $xml/*/c, $xml/*/b,
$xml/*/a, $xml/*/b, $xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b,
$xml/*/a, $xml/*/c, $xml/*/b, $xml/*/a, $xml/*/b )
   return
     $nodes => fold-left((), function($all, $this) {$all, $this except
$all})

Hopefully this is fixed in the next versions of Saxon?

No, it doesn't seem to be fixed, Mike's implementation seems to try be
smarter than the spec allows and his own coding assumes :)

Saxon-JS 2.3 gets

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
version="3.0">
  <xsl:output omit-xml-declaration="yes"/>
  <xsl:template match="/">
    <xsl:sequence select=
      "let $xml := /,
      $nodes := (/*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a,
/*/b,
      /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
      /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
      /*/a, /*/c, /*/b, /*/a, /*/b, /*/a, /*/c, /*/b, /*/a, /*/b,
      /*/a, /*/c, /*/b, /*/a, /*/b )
      return
        fold-left($nodes, (), function($all, $this) {$all, $this except
$all})"/>
  </xsl:template>
</xsl:stylesheet>

right but SaxonCS and Saxon HE 10.6 don't.
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--


<Prev in Thread] Current Thread [Next in Thread>