[Bug 5795] Static Typing: CVS: K2-Steps-2, K2-FunctionProlog-14

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





--- Comment #3 from Frans Englich <frans.englich@telia.com>  2008-06-25 10:43:43 ---
I can't see how that paragraph applies, I need further help with this!

My understanding is that that paragraph says that an implementation can choose
between delivering a sequence of items or an error, if both are the outcome of
evaluating an expression.

However in the case of:

declare function local:myFunc()
{
    e[928]
};
local:myFunc()

where does the empty sequence come from? Maybe one can infer it from the
fn:error() function, but hasn't yet been clarified how that one enters the
picture.

I agree, the none type surely gives us a lot of trouble :}


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 25 June 2008 10:44:20 UTC