diff options
Diffstat (limited to 'RGens/src')
| -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] |