[Bug 3830] Static typing of function declarations (K-Function-Prolog)

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





------- Comment #5 from frans.englich@telia.com  2006-10-16 11:04 -------
I looked at it a bit too, with no luck. Another relevant section is 4.1.5
Function Calls, Static Type Analysis that discusses typing of user-defined
functions, and defines promotion for /arguments/.

I neither see where atomization is applied for both return value and arguments.
For example, I believe this is a valid query:

declare function local:func($arg as xs:integer) as xs:integer
{
   <e>1/<e>
};
local:func(<e>2</e>)

So yes, I would open a FS report. Perhaps we simply fail at reading the spec,
but if so, we'll at least get rid of the confusion.

(I have tests locally for scenarios like this that hopefully will make it into
the XQTS.)


Frans

Received on Monday, 16 October 2006 11:04:29 UTC