XQuery 4.0 implementation

See also the changes for XPath 4.0, which apply equally to XQuery.

The syntax of item type declarations is now declare type rather than declare item-type.

In a try/catch expression, the variable err:map is available within the catch clause.

4.0 Features not yet implemented

Here is a list of some of the features in the 4.0 specifications that have NOT yet been implemented. Please check the QT4 GitHub project (https://github.com/qt4cg/qtspecs) for the latest status: Pull Requests are labeled "In Saxon13" when they have been implemented.

• Item type declarations in XQuery have restrictions:

  • Forwards references to named item type declarations are not allowed.

  • Self-references within named item type declarations are not allowed.

  • In consequence, the declared result type of the function fn:random-number-generator is an approximation to the type defined in the specification.

• PR 1355, PR 1708 - named record types in XQuery (declare record type)

• PR 1817, PR 1853 - methods

• PR 1914 - try/catch/finally in XQuery