Re: [basex-talk] Something is off with db:enforceindex in 9.7.2.

The bug fix has been fixed, a new snapshot is available [1].

Best, Christian

[1] https://files.basex.org/releases/latest/

On Mon, Jun 20, 2022 at 10:52 PM Christian Grün christian.gruen@gmail.com wrote:

Omar,

Thanks for your observation and the reproducible query. The bug turns out to be an intricate one, so I’ve opened an issue for it [1].

Meanwhile, you can circumvent the problem by suppressing the inlining of the function …

declare %basex:inline(0) function _:query-index___( ...

… and (if that doesn’t suffice) by replacing …

let $rs := (# db:enforceindex #) { ... } return $rs

… by …

(# db:enforceindex #) { ... }

Best, Christian

[1] https://github.com/BaseXdb/basex/issues/2120