[Bug 3829] Static typing of function declarations

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





------- Comment #4 from frans.englich@telia.com  2006-12-13 18:07 -------
I agree default_namespace-016 has a type error, but I don't think it's
XPTY0018.

XPTY0018 is raised when the last step contains a mixture. The last step in
default_namespace-016 has type item()*. It's hasn't been proven that it
contains a mixture of items. A mixture of nodes and atomic values is one
possible instance of item()*, but so is only nodes and only atomic values as
well.

I believe XPTY0004 is the correct error to raise because currently the query
can't be statically type checked in a sound way.

I suggest fixing the test by adding XPTY0004 as an alternative baseline.

Received on Wednesday, 13 December 2006 18:08:03 UTC