[Bug 1743] [FS] technical: 5.15 Function Declaration: a function can reference any function

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


simeon@us.ibm.com changed:

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




------- Additional Comments From simeon@us.ibm.com  2005-07-27 04:36 -------
Agreed. If we want to do that properly, I do not see any other alternative than
to have two passes over the prolog. One to gather the function signature, then
the process that is currently described as static context processing.

This is similar to what I suggested to deal with comment
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1578
which deals with a similar issue but at the level of normalization
of function overloading.

One way to deal with this would be to do the following three things:

(1) add a sentence in the processing model (Section 3.2.1 Processing model)
to indicate that function signatures from each module must be obtained just
after parsing, and be available for normalization, and static context processing.

(2) assume that those function signatures are available as part of the
initial static context.

(3) fix the static context processing not to add again the corresponding
function signatures since they will be assumed to be available already.

- Jerome

Received on Wednesday, 27 July 2005 04:36:11 UTC