QT4 CG Dashboard

These are the open pull requests and current branches. Where possible, a summary of the changes between the pull request or branch and the latest drafts is provided with a DeltaXignia pipeline.

Open PRs:
#2788
#2777
#2768
#2760
#2739
#2734
#2719
#2715
#2714
#2712
#2707
#2696
#2594
#2350
#2247
#2160
#2071

Pull requests in descending order

PR #2788: 2774 Reversion of PR 2747 which allowed `A/B?C`

Pull request #2788 by michaelhkay.

Fix #2774 This PR reverts the effect of PR 2747, which introduced the ability to write the expression `A/B?C`, with the lookup `?C` being part of the step `(B?C)`. As discussed in the issue, the problem is the interaction with the rules on sorting nodes into document order and deduplication. The expression "feels like" it should evaluate `(A/B) ? C` - typically searching a JTree to obtain a JNode that wraps a map, and then extracting the entry C from that map; but that's not the actual semantics, because assuming that `?C` doesn't select JNodes) it disrupts the deduplication and sorting that `(A/B)` would otherwise undertake.

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/xquery-40/src/expressions.xml

PR #2777: 2644 Extend casts to sequences, arrays, maps, and records

Pull request #2777 by michaelhkay.

Fix #2644 The main purpose of this proposal is to make it easier to construct instances of a record type, but the spin-offs for casting sequences, maps and arrays also seem quite useful in their own right.

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/xquery-40/src/errors.xml
  • specifications/xquery-40/src/expressions.xml

PR #2768: 2740 Drop constructor functions from built-in records

Pull request #2768 by ChristianGruen.

This PR drops constructor functions for built-in record types. My rationale: 1. We avoid a bunch of rarely-used functions that would mostly go unnoticed anyway. If keeps the `fn:` namespace clean. 2. We don’t have to deal with a broken argument order (some records list optional fields before required ones). 3. Records can be built with a simple map. If required, coercion is available to turn them into the record. If we want to keep the constructor functions, we should add at least one example how to benefit from them. Closes #2740

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xquery-40/src/expressions.xml
  • specifications/xslt-40/src/xslt.xml

PR #2760: 2521 URIs: unify handling of fragment identifiers

Pull request #2760 by ChristianGruen.

This PR proposes to treat fragment identifiers identically for `fn:doc` and `fn:unparsed-text`. I have added a reference to RFC5147. Closes #2521

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2739: 2738 XSLT - tree terminology

Pull request #2739 by michaelhkay.

Fix #2738 Gently improves the introductory sections of the XSLT spec to better reflect the introduction of JTrees and JNodes. It could do with a more radical overhaul but this is a step in the right direction.

Changed files
  • specifications/xslt-40/src/xslt.xml

PR #2734: 2733 A step too far

Pull request #2734 by michaelhkay.

Fix #2733 Changes the rules for the path operator `E1/E2` where E1 selects JNode and E2 evaluates to an atomic value. This now performs context-based mapping, in the normal style for "/", except in the case where E2 is a literal or variable reference, in which case it expands to `E1/child::{E2}`.

Changed files
  • specifications/xquery-40/src/expressions.xml

PR #2719: 1234 Serialization Parameters: Indentation, Whitespace, Newlines

Pull request #2719 by ChristianGruen.

Closes #1234

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xquery-40/src/back-matter.xml
  • specifications/xquery-40/src/query-prolog.xml
  • specifications/xslt-40/src/element-catalog.xml
  • specifications/xslt-40/src/schema-for-xslt40.rnc
  • specifications/xslt-40/src/schema-for-xslt40.xsd
  • specifications/xslt-40/src/xslt.xml
  • specifications/xslt-xquery-serialization-40/src/schema-for-serialization-parameters.xsd
  • specifications/xslt-xquery-serialization-40/src/xslt-xquery-serialization.xml

PR #2712: 2702 Dynamic node tests

Pull request #2712 by michaelhkay.

Fix #2702 1. Introduces a name for "dynamic node tests" with a production in the grammar 2. Changes the rules so the enclosed expression is evaluated with an absent focus 3. Corrects the "formal equivalent" to match the prose.

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/xquery-40/src/expressions.xml

PR #2707: 1962 fn:map-to-element

Pull request #2707 by ChristianGruen.

It repeatedly bothered me that we have no reverse counterpart for `fn:element-to-map`, so I finally pulled myself together and wrote a PR for `fn:map-to-element`. All feedback is much appreciated. While I’m quite confident about the defined rules, I would mostly be interested in grammatical/stylistic advise. Closes #1962

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2350: 708 An alternative proposal for generators

Pull request #2350 by michaelhkay.

This proposal has two ingredients (a) a single function generate-sequence() that produces a sequence of states from an initial state and a function that computes one state from the previous state (b) a definition of pipelining (aka lazy evaluation) and (currently incomplete) rules requiring certain operations to have a pipelined implementation.

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2247: 716 Deferred Evaluation in XPath - the f:generator record

Pull request #2247 by dnovatchev.

This PR introduces the notion of deferred evaluation and presents the tool to achieve this - the built-in named record type `f:generator`. - Two major use cases are presented. - The fields of `f:generator` are defined. - All system-provided methods of `f:generator` are defined. - Examples of using each of the methods of `f:generator` are provided. - The formal equivalents of each of the system-provided methods of `f:generator` are provided in a separate appendix. <img width="1920" height="1080" alt="image" src="https://github.com/user-attachments/assets/65d04952-794f-4a81-ae64-c96217a9812d" />

Changed files
  • schema/xsl-query.dtd
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2160: 2073 data model changes for JNodes and Sequences

Pull request #2160 by michaelhkay.

This is a first draft of a PR, giving the data model changes only, for a change to the JNode model affecting maps and arrays with sequence-valued entries. A sequence of length 2 or more now has children representing the items in the sequence. Although there is still an asymmetry between sequences of length 1 and longer sequences, it is more manageable than i the previous model.

Changed files
  • specifications/xpath-datamodel-40/src/xpath-datamodel.xml

PR #2071: 77c deep update

Pull request #2071 by michaelhkay.

Proposes a new fn:update function that can handle both JNodes and XNodes. (this is a branch on a branch, so I don't know how well the diff'ing will work; but look in F&O for the fn:update function)

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/image-sources/item-types.xml
  • specifications/xpath-datamodel-40/src/xpath-datamodel.xml
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xquery-40/src/expressions.xml
  • specifications/xslt-xquery-serialization-40/src/xslt-xquery-serialization.xml