https://saxonica.plan.io/https://saxonica.plan.io/favicon.ico2023-05-12T19:07:31ZSaxonica Developer CommunitySaxon - Bug #6026: Unexpected function call triggers cardinality check and errorhttps://saxonica.plan.io/issues/6026?journal_id=238062023-05-12T19:07:31ZMichael Kaymike@saxonica.com
<ul></ul><p>I strongly suspect that this is the same bug as <a class="issue tracker-1 status-3 priority-2 priority-default closed" title="Bug: Eager evaluation prematurely throws exception in analyze-string/non-matching-string. (Closed)" href="https://saxonica.plan.io/issues/6022">#6022</a>, where an expression that is loop-lifted out of a loop (together with the type-check on its value) is being eagerly evaluated when it should be lazily evaluated.</p>
<p>I can verify this fairly easily if you can send me an executable repro - i.e. if you supply the missing stylesheet modules and a sample source document that demonstrates the problem.</p> Saxon - Bug #6026: Unexpected function call triggers cardinality check and errorhttps://saxonica.plan.io/issues/6026?journal_id=238102023-05-13T09:01:49ZJohan Gheys
<ul><li><strong>File</strong> <a href="/attachments/64082">complete-node-6026.zip</a> <a class="icon-only icon-download" title="Download" href="/attachments/download/64082/complete-node-6026.zip">complete-node-6026.zip</a> added</li></ul><p>Indeed, the symptoms are very similar. I have uploaded a test set with minimal data and significantly simplified xslt's (I certainly don't want to claim the code is minimal, but it is a good compromise between effort and result).</p> Saxon - Bug #6026: Unexpected function call triggers cardinality check and errorhttps://saxonica.plan.io/issues/6026?journal_id=240452023-06-16T15:14:50ZMichael Kaymike@saxonica.com
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Duplicate</i></li></ul><p>Sorry about the delay in responding.</p>
<p>I have confirmed that this is a duplicate of bug <a class="issue tracker-1 status-3 priority-2 priority-default closed" title="Bug: Eager evaluation prematurely throws exception in analyze-string/non-matching-string. (Closed)" href="https://saxonica.plan.io/issues/6022">#6022</a> (the bug can be reproduced if I revert the patch for 6022).</p> Saxon - Bug #6026: Unexpected function call triggers cardinality check and errorhttps://saxonica.plan.io/issues/6026?journal_id=240462023-06-16T15:15:09ZMichael Kaymike@saxonica.com
<ul><li><strong>Is duplicate of</strong> <i><a class="issue tracker-1 status-3 priority-2 priority-default closed" href="/issues/6022">Bug #6022</a>: Eager evaluation prematurely throws exception in analyze-string/non-matching-string.</i> added</li></ul> Saxon - Bug #6026: Unexpected function call triggers cardinality check and errorhttps://saxonica.plan.io/issues/6026?journal_id=240572023-06-16T15:38:08ZJohan Gheys
<ul></ul><p>No problem Michael, I'm glad the issue will be fixed in the next release.</p>