Skip to content

Commit

Permalink
Editorial: merge two adjacent <emu-grammar> elements
Browse files Browse the repository at this point in the history
(It's the only such occurrence in the spec.)
Merging them into a single element makes it easier
to programmatically associate the following algorithm
with both productions, rather than just the second.
  • Loading branch information
jmdyck committed Sep 6, 2018
1 parent 2788690 commit 8128aaf
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -29362,8 +29362,11 @@ <h1>Static Semantics: CharacterValue</h1>

<emu-clause id="sec-static-semantics-sourcetext">
<h1>Static Semantics: SourceText</h1>
<emu-grammar>UnicodePropertyNameCharacters :: UnicodePropertyNameCharacter UnicodePropertyNameCharacters?</emu-grammar>
<emu-grammar>UnicodePropertyValueCharacters :: UnicodePropertyValueCharacter UnicodePropertyValueCharacters?</emu-grammar>
<emu-grammar>
UnicodePropertyNameCharacters :: UnicodePropertyNameCharacter UnicodePropertyNameCharacters?

UnicodePropertyValueCharacters :: UnicodePropertyValueCharacter UnicodePropertyValueCharacters?
</emu-grammar>
<emu-alg>
1. Return the List, in source text order, of Unicode code points in the source text matched by this production.
</emu-alg>
Expand Down

0 comments on commit 8128aaf

Please sign in to comment.