[Bug 1578] [FS] technical: 4.1.5 Function Calls: overloading is restricted

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1578


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Additional Comments From simeon@us.ibm.com  2005-07-19 21:35 -------
This should be expanded as a clarification of the previous comment.
Here is some proposed wording for the paragraph.

<<
Note that this normalization rule depends on the function signatures, which is
used to obtained the types of the function parameters
(SequenceType1,...SequenceTypen). For user-defined functions, the function
signature can be obtained from the XQuery prolog where the function is declared.
For built-in functions, the signature is given in the F&O document. For
overloaded built-in functions, several signatures may exists, however, because
they all correspond to sequences of atomic values, they all result in the same
normalization.
>>

That wording does not rely on the static environment which avoids the cyclicity
issue.

- Jerome

Received on Tuesday, 19 July 2005 21:35:24 UTC