Deep update of maps and arrays

I've submitted a revision (actually a total rewrite, but reusing the same ideas) of the PR on deep update.

It still needs some polishing, such as addition of notes and examples, but it's now ready for a detailed review.

Michael Kay
Saxonica

Received on Thursday, 29 February 2024 12:27:30 UTC