diff options
| author | bculkin2442 <bjculkin@mix.wvu.edu> | 2017-03-22 09:39:38 -0400 |
|---|---|---|
| committer | bculkin2442 <bjculkin@mix.wvu.edu> | 2017-03-22 09:39:38 -0400 |
| commit | 40d209f6d7deb1fc3234078d645acb88b0137e1c (patch) | |
| tree | ba5d670403aabe2e8e3869345ad8c329c584c883 /RGens/src/main/java/bjc | |
| parent | 67442b3a5d4dd02e304dea4f58591570ca99b144 (diff) | |
Syntax notes
Diffstat (limited to 'RGens/src/main/java/bjc')
| -rw-r--r-- | RGens/src/main/java/bjc/rgens/newparser/new-syntax.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/RGens/src/main/java/bjc/rgens/newparser/new-syntax.txt b/RGens/src/main/java/bjc/rgens/newparser/new-syntax.txt index 19f2066..3e5738c 100644 --- a/RGens/src/main/java/bjc/rgens/newparser/new-syntax.txt +++ b/RGens/src/main/java/bjc/rgens/newparser/new-syntax.txt @@ -2,9 +2,12 @@ [block] → [pragma-block] → [rule-block] + → [where-block] [pragma-block] → [pragma] (/\n(?!\t)/ [pragma])* [rule-block] → [rule-decl] [rule-case] (/\n\t/ [rule-case])* +[where-block] -> where /\n\t/ ([rule-block] /\n\t/)+ in /\n\t/ [rule-block] + [pragma] → pragma [pragma-name] [pragma-body] |