diff options
Diffstat (limited to 'RGens/src/main/java/bjc/rgens/parser/new-syntax.txt')
| -rwxr-xr-x | RGens/src/main/java/bjc/rgens/parser/new-syntax.txt | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/RGens/src/main/java/bjc/rgens/parser/new-syntax.txt b/RGens/src/main/java/bjc/rgens/parser/new-syntax.txt deleted file mode 100755 index f6578b4..0000000 --- a/RGens/src/main/java/bjc/rgens/parser/new-syntax.txt +++ /dev/null @@ -1,13 +0,0 @@ -[grammar] → ([block] ( / \n\.\n ? / [block])*) ? - -[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] |