blob: f6578b4fb9af26513530222fe8a4f3a0c32e22c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
[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]
|
