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

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





--- Comment #4 from Tim Mills <tim@cbcl.co.uk>  2008-06-25 11:03:29 ---

The context item has static type 'none' because accessing it is equivalent to
calling fn:error (whose return type is none).  So we can rewrite the path
expression $fs:dot/e as a call to fn:error.

declare function local:myFunc()
{
    (fn:error('err:XPDY0002'))[928]
};

The quantifier of fn:error is 1, so we either have a sequence of one item or an
error.  But we're not interested in the first item, so there's no need to
evaluate it to cause an error.  We want item 928 - therefore we get the result
as ().


-- 
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.