Unexpected EOF should report a parse error. Whe should abort the step…

…s in the AAA even if there is no formatting element at all. git-svn-id: http://svn.whatwg.org/webapps@69 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Jun 22, 2006 · 44b2e63 · 44b2e63
1 parent 17bcedd
commit 44b2e63
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/index b/index
@@ -20217,6 +20217,12 @@ function receiver(e) {
        <dt>An end tag with the tag name "body"
 
        <dd>
+        <p><span><a href="#generate">Generate implied end tags.</a></span></p>
+
+        <p>If the <span><a href="#current3">current node</a></span> is not
+         the <code><a href="#body0">body</a></code> element, then this is a
+         <span><a href="#parse">parse error</a></span>.</p>
+
         <p>Change the <span><a href="#insertion">insertion mode</a></span> to
          "after body".</p>
 
@@ -20545,7 +20551,8 @@ function receiver(e) {
            formatting elements</a></span>, between the end of the list and
            the last scope marker in the list, if any, or the start of the
            list otherwise, which has the same tag name as the token, then,
-           remove the last such element from the list, and abort these steps.</p>
+           remove the last such element from the list. In any case, if there
+           is no <var title="">formatting element</var>, abort these steps.</p>
 
           <p>Otherwise, there is a <var title="">formatting element</var>;
            proceed with the algorithm as written in the following steps.</p>

diff --git a/source b/source
@@ -18312,6 +18312,10 @@ function receiver(e) {
 
        <dt>An end tag with the tag name "body"</dt>
        <dd>
+        <p><span>Generate implied end tags.</span></p>
+        <p>If the <span>current node</span> is not the
+        <code>body</code> element, then this is a <span>parse
+        error</span>.</p>
         <p>Change the <span>insertion mode</span> to "after body".</p>
        </dd>
 
@@ -18635,8 +18639,9 @@ function receiver(e) {
           formatting elements</span>, between the end of the list and
           the last scope marker in the list, if any, or the start of
           the list otherwise, which has the same tag name as the
-          token, then, remove the last such element from the list, and
-          abort these steps.</p>
+          token, then, remove the last such element from the list. In
+          any case, if there is no <var title="">formatting
+          element</var>, abort these steps.</p>
 
           <p>Otherwise, there is a <var title="">formatting
           element</var>; proceed with the algorithm as written in the