@@ -16,8 +16,8 @@ of this text is copied, and expanded upon in subsequent RFCs.
1616 "match").
1717 - ` repetition ` : a fragment that follows a regular repeating pattern
1818 - ` NT ` : non-terminal, the various "meta-variables" or repetition matchers
19- that can appear in a matcher, specified in MBE syntax with a leading `$`
20- character.
19+ that can appear in a matcher, specified in MBE syntax with a leading ` $ `
20+ character.
2121 - ` simple NT ` : a "meta-variable" non-terminal (further discussion below).
2222 - ` complex NT ` : a repetition matching non-terminal, specified via repetition
2323 operators (` \* ` , ` + ` , ` ? ` ).
@@ -80,9 +80,9 @@ Greek letters "α" "β" "γ" "δ" stand for potentially empty token-tree sequen
8080and does not stand for a token-tree sequence.)
8181
8282 * This Greek letter convention is usually just employed when the presence of
83- a sequence is a technical detail; in particular, when we wish to *emphasize*
84- that we are operating on a sequence of token-trees, we will use the notation
85- "tt ..." for the sequence, not a Greek letter.
83+ a sequence is a technical detail; in particular, when we wish to * emphasize*
84+ that we are operating on a sequence of token-trees, we will use the notation
85+ "tt ..." for the sequence, not a Greek letter.
8686
8787Note that a matcher is merely a token tree. A "simple NT", as mentioned above,
8888is an meta-variable NT; thus it is a non-repetition. For example, ` $foo:ty ` is
@@ -108,7 +108,7 @@ of FIRST and FOLLOW are described later.
108108 tt uu ...` ) with ` uu ...` nonempty, we must have FOLLOW( ` ... tt`) ∪ {ε} ⊇
109109 FIRST(` uu ... ` ).
1101101 . For any separated complex NT in a matcher, ` M = ... $(tt ...) SEP OP ... ` ,
111- we must have ` SEP ` ∈ FOLLOW(` tt ... ` ).
111+ we must have ` SEP ` ∈ FOLLOW(` tt ... ` ).
1121121 . For an unseparated complex NT in a matcher, ` M = ... $(tt ...) OP ... ` , if
113113 OP = ` \* ` or ` + ` , we must have FOLLOW(` tt ... ` ) ⊇ FIRST(` tt ... ` ).
114114
0 commit comments