[Bug 25137] [F+O 3.0] Identity of functions

https://www.w3.org/Bugs/Public/show_bug.cgi?id=25137

--- Comment #2 from Michael Kay <mike@saxonica.com> ---
I propose to replace the text (the condition for function items being
identical):

Both items are function items, and have the same name (or absence of a name),
arity, function signature, and closure. (Note that there is no function or
operator defined in the specification that tests whether two function items are
identical.)

with:

Both items are function items, and have the same name (or absence of a name),
arity, function signature, and closure, and implementations that the system is
able to determine have the same effect.

Note: there is no function or operator defined in the specification that tests
whether two function items are identical. Where the specification requires two
function items to be identical, for example in the results of repeated calls of
a function whose result is a function, then the processor must ensure that it
returns functions that are indistinguishable in their observable effect. Where
the specification defines behavior conditional on two function items being
identical, the determination of identity is to some degree
implementation-dependent. There are cases where function items are definitely
not identical (for example if they have different name or arity), but positive
determination of identity is possible only using implementation-dependent
techniques, for example when both items contain references to the same piece of
code representing the function's implementation.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 16 September 2014 14:54:08 UTC