W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2011

[Bug 13028] [XQUF] Error in static typing rules for replace node Expr1 with Expr2

From: <bugzilla@jessica.w3.org>
Date: Thu, 23 Jun 2011 15:45:56 +0000
To: public-qt-comments@w3.org
Message-Id: <E1QZm6O-0002Xe-Nx@jessica.w3.org>

--- Comment #3 from Tim Mills <tim@cbcl.co.uk> 2011-06-23 15:45:56 UTC ---
(In reply to comment #2)
> Re your original point: No, the call to fs:item-sequence-to-node-sequence()
> introduced in the normalization rule ensures that the *core* replace expression
> (which is the one to which the static typing rules pertain) doesn't have to
> deal with document nodes.
> (The static type of the *argument* to fs:item-sequence-to-node-sequence() might
> involve the document node type. It also might involve atomic types. Those
> possibilities are handled by the static typing rules for that function.)

Ah, of course - thanks.

I'd still like Comment #1 to be considered by the WG.

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, 23 June 2011 15:45:59 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:46 UTC