[whatwg] EOF handling in the main phase

[Anne van Kesteren]

I was wondering what "If there's more than one node on the stack of open  
elements, or, if the parser was not originally created in order to handle  
the setting of an element's innerHTML attribute (innerHTML case) and the  
second node on the stack of open elements is not a body node, this is a  
parse error." exactly means. I came up with two variations:

   1.  If the parsing mode is innerHTML and there's more than
       one node on the stack of open elements it's a parse
       error.
       If the parsing mode is not innerHTML and the second
       node on the stack of open element is not a body node
       it's a parse error.

   2.  Regardless of the parsing mode it's a parse error if
       there's more than one node on the stack of open
       elements.
       If the parsing mode is not innerHTML and the second
       node on the stack of open element is not a body node
       it's a parse error.

Neither sounds very logical.

After that it says "Stop parsing." but it isn't defined how the remaining  
tokens are to be popped of from the stack of open elements. Shouldn't that  
be covered?


-- 
Anne van Kesteren
<http://annevankesteren.nl/>
<http://www.opera.com/>