[Bug 4536] [UPD] Section 3.1.11 upd:rename

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4536


andrew.eisenberg@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID




------- Comment #1 from andrew.eisenberg@us.ibm.com  2007-06-12 14:34 -------
The WG considered this bug report at its June 5 meeting. Wwe believe that the
specification already untypes all ancestors, and so no change is needed.

Rules 1.b and 2.b of section 3.1.11, upd:rename, invoke
upd:removeType($target).

Section 3.2.4, upd:removeType, says:

"This routine is applied to a node whose name or content has been modified, in
order to remove specific type information from the node and its ancestors,
pending revalidation."

Rules 1)a)ii and 2)d perform the recursion necessary to remove type information
from the node's ancestors.


Please close this bug report if you agree with our resolution.