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>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=13028

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:15:13 GMT