W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2009

[Bug 8006] [UPD] : wrong static typing rule for transform expression?

From: <bugzilla@wiggum.w3.org>
Date: Thu, 22 Oct 2009 16:48:54 +0000
To: public-qt-comments@w3.org
Message-Id: <E1N10qM-0001Eh-08@wiggum.w3.org>

--- Comment #2 from Markos Zaharioudakis <markos_za@yahoo.com>  2009-10-22 16:48:53 ---
I don't think that the example

insert node <x/> into //a

would fail static typing, because the ST rule for the target expression of
"insert into" is element*. In general, except for transform, the ST rules for
all of the other updating expressions do not place a constraint on node
cardinality. So, I was thinking that the transform rule may have a typo error:
node() instead of node()*.

In any case, a spec shouldn't include an example (like the one in 2.4.5) that
contradicts the rules of the spec itself, right? So, either the transform ST
rule should change, or the example in 2.4.5 (and several tests in the XQUF test
suite as well) be fixed.

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 Thursday, 22 October 2009 16:48:57 UTC

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