This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
> An end tag whose tag name is one of: "dd", "dt", "li" > > If the stack of open elements does not have an element > in scope with the same tag name as that of the token, > then this is a parse error. > > Otherwise, run these steps: > > 1. Generate implied end tags, except for elements > with the same tag name as the token. > 2. If the current node is not an element with the > same tag name as that of the token, then this > is a parse error. > 3. Pop elements from the stack of open elements > until an element with the same tag name as the > token has been popped from the stack. What if there's no corresponding element on the stack? Shouldn't the first paragraph end with "then this is a parse error; ignore the token."?
Does the spec requiring you to "Ignore this token" cause you to do something different than it not requiring you to do anything? :-) (Will fix for consistency.)
(In reply to comment #1) > Does the spec requiring you to "Ignore this token" cause you to do something > different than it not requiring you to do anything? :-) The inconsistency confused me, so I think it's worth stating explicitly when a token gets ignored.
r1832
This bug predates the HTML Working Group Decision Policy. If you are satisfied with the resolution of this bug, please change the state of this bug to CLOSED. If you have additional information and would like the editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the tracker issue; or you may create a tracker issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html This bug is now being moved to VERIFIED. Please respond within two weeks. If this bug is not closed, reopened or escalated within two weeks, it may be marked as NoReply and will no longer be considered a pending comment.