Project

Profile

Help

Bug #4235

Definition of "identical"

Added by Michael Kay 3 months ago.

Status:
New
Priority:
Low
Assignee:
Start date:
2019-06-14
Due date:
% Done:

0%


Description

The definition for two values being "identical" in F&O §1.6.4 has the effect that all maps are identical, regardless of content, and all arrays are identical, regardless of content.

This doesn't matter too much for F&O itself, which doesn't make very heavy use of the concept (it's mainly used when defining whether functions are deterministic).

But XSLT refers to the definition in §9.6 when describing whether two static variables or parameters are considered to be consistent. The definition excludes all functions, including maps and arrays, which means that two maps are never consistent with each other even if they're deep-equal. That seems unfortunate.

The F&O definition of "identical" also affects the rules for determinism of XSLT functions as established using the new-each-time attribute.

Please register to edit this issue

Also available in: Atom PDF