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:41:47 +0000
To: public-qt-comments@w3.org
Message-Id: <E1QZm2N-0002IB-Af@jessica.w3.org>

Michael Dyck <jmdyck@ibiblio.org> changed:

           What    |Removed                     |Added
                 CC|                            |jmdyck@ibiblio.org

--- Comment #2 from Michael Dyck <jmdyck@ibiblio.org> 2011-06-23 15:41:45 UTC ---
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.)

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:41:49 UTC

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