Saxon

Additionally, from Saxon 11.2 a syntax extension for XQuery FLWOR expressions is provided: a new trace clause can be used to assist diagnostics.

This is documented in the Changes section (https://www.saxonica.com/documentation12/index.html#!changes/extensions/11-11.1), but not documented elsewhere (not in either "Using XQuery" or "Extensions").

(It doesn't look like this has been included in the 4.0 proposal so far.)

Changes committed on saxon10, saxon11, saxon12, and main branches:

• Tidied up the "Using XQuery" section ("Extensibility" and "Extensions" subsections)
• Updated content to remove saxon:default, and saxon:allow-cycles
• Added note in changes/extensions/9.7-9.8 to clarify that saxon:allow-cycles is now ignored

Furthermore, on the saxon11, saxon12 and main branches:

• I have actually moved the details about XQuery extensions from "Using XQuery" to "Extensions", since I think that's a better place for them.
• Added documentation for the FLWOR expression trace clause extension at extensions/xquery-syntax/trace

I am not intending to update the documentation for older versions of Saxon (9.9 and 9.8) though.