[Bug 3829] Static typing of function declarations


------- Comment #3 from nick@cbcl.co.uk  2006-12-13 17:08 -------
We are currently throwing a err:XPTY0018 "a type error if the result of the
last step in a path expression contains both nodes and atomic values." during
static type checking.

What happens is, because it has no return type, the function title type checks
with a return type item()*.

item()* can contain both nodes and anyAtomicTypes, so when we static type check
the path expression we throw the XPTY0018 as the type is not a node sequence or
an atomimc type sequence.

Looking through the spec again I can't at the moment find anything specifying
this check should we done during static typing rather than evaluation, so maybe
it is just us being too zealous in the static type checking.

Received on Wednesday, 13 December 2006 17:08:26 UTC