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

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 UTC