blob: 3e5738cd10ced546221ad298be8bf22df2ed2dea (
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]
|
