Specs: Parser fixes for issues Adam found

sky/specs/parsing.md

 Parsing
 =======
 
 Parsing in Sky is a strict pipeline consisting of five stages:
 
 - decoding, which converts incoming bytes into Unicode characters
   using UTF-8.
 
 - normalising, which manipulates the sequence of characters.
 
@@ skipping 156 matching lines @@
   token. Consume the character. Stay in this state.
 
 
 #### **Script raw data: close 1** state ####
 
 If the current character is...
 
 * '``/``': Consume the character and switch to the **script raw
   data: close 2** state.
 
-* Anything else: Emit '``<``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``<``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 2** state ####
 
 If the current character is...
 
 * '``s``': Consume the character and switch to the **script raw
   data: close 3** state.
 
-* Anything else: Emit '``</``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 3** state ####
 
 If the current character is...
 
 * '``c``': Consume the character and switch to the **script raw
   data: close 4** state.
 
-* Anything else: Emit '``</s``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</s``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 4** state ####
 
 If the current character is...
 
 * '``r``': Consume the character and switch to the **script raw
   data: close 5** state.
 
-* Anything else: Emit '``</sc``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</sc``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 5** state ####
 
 If the current character is...
 
 * '``i``': Consume the character and switch to the **script raw
   data: close 6** state.
 
-* Anything else: Emit '``</scr``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</scr``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 6** state ####
 
 If the current character is...
 
 * '``p``': Consume the character and switch to the **script raw
   data: close 7** state.
 
-* Anything else: Emit '``</scri``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</scri``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 7** state ####
 
 If the current character is...
 
 * '``t``': Consume the character and switch to the **script raw
   data: close 8** state.
 
-* Anything else: Emit '``</scrip``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</scrip``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Script raw data: close 8** state ####
 
 If the current character is...
 
 * U+0020, U+000A, '``/``', '``>``': Create an end tag token, and
   let its tag name be the string '``script``'. Switch to the
   **before attribute name** state without consuming the character.
 
-* Anything else: Emit '``</script``' character tokens. Consume the
-  character. Switch to the **script raw data** state.
+* Anything else: Emit '``</script``' character tokens. Switch to the
+  **script raw data** state without consuming the character.
 
 
 #### **Style raw data** state ####
 
 If the current character is...
 
 * '``<``': Consume the character and switch to the **style raw
   data: close 1** state.
 
 * Anything else: Emit the current input character as a character
   token. Consume the character. Stay in this state.
 
 
 #### **Style raw data: close 1** state ####
 
 If the current character is...
 
 * '``/``': Consume the character and switch to the **style raw
   data: close 2** state.
 
-* Anything else: Emit '``<``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``<``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 2** state ####
 
 If the current character is...
 
 * '``s``': Consume the character and switch to the **style raw
   data: close 3** state.
 
-* Anything else: Emit '``</``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 3** state ####
 
 If the current character is...
 
 * '``t``': Consume the character and switch to the **style raw
   data: close 4** state.
 
-* Anything else: Emit '``</s``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</s``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 4** state ####
 
 If the current character is...
 
 * '``y``': Consume the character and switch to the **style raw
   data: close 5** state.
 
-* Anything else: Emit '``</st``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</st``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 5** state ####
 
 If the current character is...
 
 * '``l``': Consume the character and switch to the **style raw
   data: close 6** state.
 
-* Anything else: Emit '``</sty``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</sty``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 6** state ####
 
 If the current character is...
 
 * '``e``': Consume the character and switch to the **style raw
   data: close 7** state.
 
-* Anything else: Emit '``</styl``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</styl``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Style raw data: close 7** state ####
 
 If the current character is...
 
 * U+0020, U+000A, '``/``', '``>``': Create an end tag token, and
   let its tag name be the string '``style``'. Switch to the
   **before attribute name** state without consuming the character.
 
-* Anything else: Emit '``</style``' character tokens. Consume the
-  character. Switch to the **style raw data** state.
+* Anything else: Emit '``</style``' character tokens. Switch to the
+  **style raw data** state without consuming the character.
 
 
 #### **Tag open** state ####
 
 If the current character is...
 
 * '``!``': Consume the character and switch to the **comment start
   1** state.
 
 * '``/``': Consume the character and switch to the **close tag
@@ skipping 61 matching lines @@
 
 * U+0020, U+000A: Consume the current character. Stay in this state.
 
 * '``/``': Consume the current character. Switch to the **void tag**
   state.
 
 * '``>``': Consume the current character. Switch to the **after
   tag** state.
 
 * Anything else: Create a new attribute in the tag token, and set its
-  name to the current character. Consume the current character. Switch
-  to the **attribute name** state.
+  name to the current character and its value to the empty string.
+  Consume the current character. Switch to the **attribute name**
+  state.
 
 
 #### **Attribute name** state ####
 
 If the current character is...
 
 * U+0020, U+000A: Consume the current character. Switch to the **after
   attribute name** state.
 
 * '``/``': Consume the current character. Switch to the **void tag**
@@ skipping 19 matching lines @@
 * '``/``': Consume the current character. Switch to the **void tag**
   state.
 
 * '``=``': Consume the current character. Switch to the **before
   attribute value** state.
 
 * '``>``': Consume the current character. Switch to the **after
   tag** state.
 
 * Anything else: Create a new attribute in the tag token, and set its
-  name to the current character. Consume the current character. Switch
-  to the **attribute name** state.
+  name to the current character and its value to the empty string.
+  Consume the current character. Switch to the **attribute name**
+  state.
 
 
 #### **Before attribute value** state ####
 
 If the current character is...
 
 * U+0020, U+000A: Consume the current character. Stay in this state.
 
 * '``>``': Consume the current character. Switch to the **after
   tag** state.
 
 * '``'``': Consume the current character. Switch to the
   **single-quoted attribute value** state.
 
 * '``"``': Consume the current character. Switch to the
   **double-quoted attribute value** state.
 
-* Anything else: Set the value of the most recently added attribute to
-  the current character. Consume the current character. Switch to the
-  **unquoted attribute value** state.
+* Anything else: Switch to the **unquoted attribute value** state
+  without consuming the current character.
 
 
 #### **Single-quoted attribute value** state ####
 
 If the current character is...
 
 * '``'``': Consume the current character. Switch to the
   **before attribute name** state.
 
 * '``&``': Consume the character and switch to the **character
@@ skipping 25 matching lines @@
   this state.
 
 
 #### **Unquoted attribute value** state ####
 
 If the current character is...
 
 * U+0020, U+000A: Consume the current character. Switch to the
   **before attribute name** state.
 
-* '``>``': Consume the current character. Switch to the **data**
-  state. Switch to the **after tag** state.
+* '``>``': Consume the current character. Switch to the **after tag**
+  state.
 
 * '``&``': Consume the character and switch to the **character
   reference** state, with the _return state_ set to the **unquoted
-  attribute value** state which has the same effect), and the
-  _emitting operation_ being to append the given character to the
-  value of the most recently added attribute.
+  attribute value** state, and the _emitting operation_ being to
+  append the given character to the value of the most recently added
+  attribute.
 
 * Anything else: Append the current character to the value of the most
   recently added attribute. Consume the current character. Stay in
   this state.
 
 
 #### **After tag** state ####
 
 Emit the tag token.
 
@@ skipping 16 matching lines @@
 Switch to the **data** state.
 
 
 #### **Comment start 1** state ####
 
 If the current character is...
 
 * '``-``': Consume the character and switch to the **comment start
   2** state.
 
-* '``>``': Emit character tokens for '``<!>``'. Consume the
-  current character. Switch to the **data** state.
+* Anything else: Emit character tokens for '``<!``'. Switch to the
+  **data** state without consuming the current character.
 
 
 #### **Comment start 2** state ####
 
 If the current character is...
 
 * '``-``': Consume the character and switch to the **comment**
   state.
 
-* '``>``': Emit character tokens for '``<!->``'. Consume the
-  current character. Switch to the **data** state.
+* Anything else: Emit character tokens for '``<!-``'. Switch to the
+  **data** state without consuming the current character.
 
 
 #### **Comment** state ####
 
 If the current character is...
 
 * '``-``': Consume the character and switch to the **comment end 1**
   state.
 
-* Anything else: Consume the character and switch to the **comment**
-  state.
+* Anything else: Consume the character and stay in this state.
 
 
 #### **Comment end 1** state ####
 
 If the current character is...
 
 * '``-``': Consume the character, switch to the **comment end 2**
   state.
 
 * Anything else: Consume the character, and switch to the **comment**
@@ skipping 196 matching lines @@
         there isn't one, skip this token.
      2. If there's a ``template`` element in the _stack of open
         nodes_ above _node_, then skip this token.
      3. Pop nodes from the _stack of open nodes_ until _node_ has been
         popped.
      4. If _node_'s tag name is ``script``, then yield until there
         are no pending import loads, then execute the script given by
         the element's contents.
 3. Yield until there are no pending import loads.
 3. Fire a ``load`` event at the _parsing context_ object.