W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2006

[Bug 3829] Static typing of function declarations

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Dec 2006 18:07:39 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GuYW3-0000uW-41@wiggum.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC