Implement XQuery 4.0 core functions (fn:, array:, map:, math:) - #6218

Open

joewiz wants to merge 67 commits into

eXist-db:developfrom

joewiz:v2/xq4-core-functions

Commits on Apr 30, 2026

[feature] Improve core F&O functions for XQuery 4.0 compliance

joewiz
and
claude
committed
95b37d7
[feature] Implement 50+ new XQuery 4.0 fn: functions

joewiz
and
claude
committed
145eb50
[feature] Add XQuery 4.0 array, map, and math module extensions

joewiz
and
claude
committed
31d888d
[feature] Add build config, format improvements, and XQSuite tests

joewiz
and
claude
committed
81a5f1f
[bugfix] Require ! flag for empty-matching regex in XQ4 fn:replace and fn:tokenize

joewiz
and
claude
committed
1427e9f
[bugfix] Fix xs:duration ordering version gate — propagate expression context

joewiz
and
claude
committed
935ea37
[feature] Add items-equal, unordered-elements, normalization-form, timezone options to fn:deep-equal

joewiz
and
claude
committed
93bc28a
[bugfix] Fix array/map XQ4 conformance: arity coercion, map:build, map:items

joewiz
and
claude
committed
aa17606
[feature] Broaden fn:*-from-dateTime to accept all Gregorian types in XQ4

joewiz
and
claude
committed
7f4c5bb
[bugfix] Improve XPath regex compliance: validate patterns and support XQ4 lookaround

joewiz
and
claude
committed
a6175f8
[feature] Improve fn:unparsed-text conformance and add function type checking

joewiz
and
claude
committed
2e369e0
[bugfix] Fix function call/ref XQTS failures: reserved names, context, promotions

joewiz
and
claude
committed
57c30cf
[feature] Fix fn:element-to-map and fn:element-to-map-plan for XQ4 conformance

joewiz
and
claude
committed
cb625b9
[bugfix] Fix variable declaration error codes for XQuery 3.1 compliance

joewiz
and
claude
committed
3203803
[feature] Rename function parameter names to match XQuery 4.0 spec for keyword arguments

joewiz
and
claude
committed
06d9c2b
[feature] Implement fn:collation(map) overload for XQuery 4.0 UCA collation construction

joewiz
and
claude
committed
38a23c4
[feature] Version-aware XPath regex validation with XQ4 extensions

joewiz
and
claude
committed
804068b
[refactor] Fix Codacy violations: annotate intentional == checks, remove unused code

joewiz
and
claude
committed
e4898a3
[bugfix] Fix fn:contains-token collation parameter to accept empty sequence

joewiz
and
claude
committed
9990f19
[feature] Improve JSON/CSV/XML function compliance for XQTS QT4

joewiz
and
claude
committed
e6df54d
[refactor] Reduce NPath complexity in FnParseUri and FunDeepEqual

joewiz
and
claude
committed
601ba8a
[optimize] Reduce overhead on hot map operations
joewiz
committed
036229c
[bugfix] fn:load-xquery-module: check loaded module's own version

joewiz
and
claude
committed
2426d4d
[feature] fn:xml-to-json: XQ4 number lexical preservation (PR1455)
joewiz
committed
eede0ed
[bugfix] Tighten XPath regex validation to reject more invalid constructs

joewiz
and
claude
committed
019f008
[bugfix] XPath regex: validate back-references and tighten char class grammar

joewiz
and
claude
committed
2fb17db
[optimize] fn:reverse: lazy O(1) view for ranges and value sequences

joewiz
and
claude
committed
b36833f
[bugfix] prod-DynamicFunctionCall: PR1975 sequence dispatch + XQ4 numeric relabeling

joewiz
and
claude
committed
9b4e13b
[feature] Map types, bare-brace constructor, and map:build options (XQ4)

joewiz
and
claude
committed
5fd4083
[feature] Function-type subsumption + parse-time map/array test validation

joewiz
and
claude
committed
d901318
[feature] Structural runtime check for typed map(K,V) and array(T)

joewiz
and
claude
committed
774a510
[feature] op:same-key hash normalization + XQ4 PR2094 bare map content

joewiz
and
claude
committed
d415b85
[feature] XQuery 4.0 numeric literal extensions: 0x..., 0b..., and _

joewiz
and
claude
committed
bd3526d
[bugfix] Gate XQ4 PR2094 bare map content on XQuery 4.0 mode

joewiz
and
claude
committed
673346b
[feature] Insertion-order keys for map literals and map:build (XQ4 PR1703)

joewiz
and
claude
committed
6bf4a18
[feature] Insertion-order keys through map:put / map:remove / map:merge

joewiz
and
claude
committed
1db4eec
[bugfix] Apply insertion order to iterator()/key() and bootstrap put() from empty

joewiz
and
claude
committed
e2ff345
[bugfix] map:entries returns single-entry maps, not 2-key records

joewiz
and
claude
committed
d16e9b9
[feature] XQuery 4.0 fn{...} and fn(params){body} lambdas (PR1499)

joewiz
and
claude
committed
9c27e14
[feature] XQuery 4.0 keyword arguments (name := value)

joewiz
and
claude
committed
276e549
[feature] XQ4 PR1501 map/array coercion at let bindings

joewiz
and
claude
committed
762ca56
[feature] map:build/map:merge XQ4 PR1041 + tighter coercion

joewiz
and
claude
committed
8c9d130
[feature] XQ4 keyword args: accept reserved keywords as names + placeholder values

joewiz
and
claude
committed
367a280
[feature] Improve fn:parse-json XQuery 4.0 compliance (75% → 97%)

joewiz
and
claude
committed
1965754
[feature] Implement XQ4 fn:deep-equal options: base-uri, in-scope-namespaces, namespace-prefixes (attrs), timezones, map-order

joewiz
and
claude
committed
af12121
[bugfix] Restore fn:deep-equal attribute comparison

joewiz
and
claude
committed
927895c
[feature] XQ4 try/catch err:map + err:stack-trace, XQ30+ cast error codes

joewiz
and
claude
committed
5ce1a1a
[bugfix] Fix fn:parse-ietf-date and fn:build-dateTime QT4 compliance
joewiz
committed
93ddf20
[feature] map:build empty-callback defaults and function combiner (XQ4 PR1041)

joewiz
and
claude
committed
bb70806
[bugfix] fn:json-doc, fn:parse-json: align keyword-arg names with W3C 4.0 spec
joewiz
committed
751829f
[bugfix] XQuery 4.0 misc-Subtyping: parser + SequenceType subtype rules
joewiz
committed
345ff8c
[bugfix] XQ4 optional window clauses + let coercion (PR483, PR1131)

joewiz
and
claude
committed
393b8c1
[bugfix] XQ4 record coercion + list-type cast for prod-DynamicFunctionCall

joewiz
and
claude
committed
48b7823
[refactor] PR #6218 reviewer fixes: switch expressions + instanceof patterns

joewiz
and
claude
committed
a9aa67d
[refactor] Revert RecordType-dependent cherry-picks for standalone compilation

joewiz
and
claude
committed
7d6c80b
[refactor] Simplify boolean return in FnHighestLowest.isNaN per Codacy

joewiz
and
claude
committed
a4940cf
[refactor] Address Codacy low-hanging warnings in PR #6218
joewiz
committed
b2ceaf3

Commits on May 1, 2026

[refactor] Decompose high-NPath methods flagged by Codacy
joewiz
committed
55589f2
[refactor] Codacy follow-up: SimplifyBooleanReturns, branching loop, LetExpr profiler
joewiz
committed
da326bf
[bugfix] XQ4 fn: improve map:entries, parts-of-dateTime, siblings, element-to-map-plan
joewiz
committed
5b82dce
[refactor] Decouple fn:parts-of-dateTime, fn:dateTime-record, fn:siblings from RecordType + JNode

joewiz
and
claude
committed
9a3f7bd
[bugfix] Accept any parenthesized comment in parse-ietf-date timezone

joewiz
and
claude
committed
77ad32a
[bugfix] Fix XQ4 test failures: array arity, map ordering, regex, JSON errors

joewiz
and
claude
committed
84c032c
[bugfix] fn: Align built-in function signatures with W3C XQuery 4.0 PR197

joewiz
and
claude
committed
13ffc8f
[test] Use xs:nonNegativeInteger literals in fn:unix-dateTime tests

joewiz
and
claude
committed
61eb60c
[test] LoadXQueryModuleContentTest: align with backward-compat semantics

joewiz
and
claude
committed
ee4bb8a
[refactor] SequenceType: split combined declarations to satisfy Codacy

joewiz
and
claude
committed
5f53cad