summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-02-13 02:10:27 -0800
committerOri Bernstein <ori@eigenstate.org>2017-02-13 02:10:27 -0800
commitd0ba03240de4d5e3cc9943ab25771b46311c4dab (patch)
tree98d0c1931967d5387dd27062ce78922d218d9e41 /doc
parentf0a0aad9faece7e4604d2dc630cfef614b03d33b (diff)
downloadmc-d0ba03240de4d5e3cc9943ab25771b46311c4dab.tar.gz
Clarify the EBNF description.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt11
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index 3919107..0991537 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -68,11 +68,12 @@ TABLE OF CONTENTS:
Whitespace and comments are implicitly stripped out before parsing.
- To put it in words, /regex/ defines a regular expression that would
- match a single token in the input. "quoted" would match a single
- string. <english description> contains an informal description of what
- characters would match. In the case of ambiguity, longest match wins.
- In the case of ambiguity with a quoted string, the quoted string wins.
+ To put the description in words, /regex/ defines a regular
+ expression that would match a single token in the input. "quoted"
+ would match a single string. <english description> contains an
+ informal description of what characters would match. In the case of
+ ambiguity, longest match wins. In the case of ambiguity with a
+ quoted string, the quoted string wins.
Productions are defined by any number of expressions, in which
expressions are '|' separated sequences of terms.