add whitespace to IdentityEscape

bakkot · web-flow · commit f9fbd5c90450 · 2023-11-02T14:27:16.000-07:00
diff --git a/spec.emu b/spec.emu
@@ -27,6 +27,7 @@ contributors: Jordan Harband
         IdentityEscape[UnicodeMode] ::
           [+UnicodeMode] SyntaxCharacter
           [+UnicodeMode] `/` <ins>`,` `-` `=` `<` `>` `/` `#` `&` `!` `%` `:` `;` `@` `~` `'` `"`</ins>
+          <ins>[+UnicodeMode] WhiteSpace</ins>
           [~UnicodeMode] SourceCharacter but not UnicodeIDContinue
 
         DecimalEscape ::
