-
Notifications
You must be signed in to change notification settings - Fork 0
/
grammar.txt
55 lines (39 loc) · 1.61 KB
/
grammar.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
statements : NEWLINE* expr (NEWLINE+ expr)* NEWLINE*
expr : KEYWORD:int IDENTIFIER EQ expr
: comp-expr ((KEYWORD:and|KEYWORD:or) comp-expr)*
comp-expr : NOT comp-expr
: arith-expr ((EE|LT|GT|LTE|GTE) arith-expr)*
arith-expr : term ((PLUS|MINUS) term)*
term : factor ((MUL|DIV|LSHIFT|RSHIFT) factor)*
factor : (PLUS|MINUS) factor
: power
power : call (POWER factor)*
call : atom (LPAREN (expr (COMMA expr)*)? RPAREN)?
atom : INT|FLOAT|DOUBLE|STR|IDENTIFIER
: OPCOL expr OPCOL
: list-expr
: if-expr
: for-expr
: while-expr
: func-def
list-expr : LSQUARE (expr (COMMA expr)*)? RSQUARE
if-expr : KEYWORD:if expr KEYWORD:then
(expr if-expr-b|if-expr-c?)
| (NEWLINE statements KEYWORD:done|if-expr-b|of-expr-c)
if-expr-b : KEYWORD:ifagain expr KEYWORD:then
(expr if-expr-b|if-expr-c?)
| (NEWLINE statements KEYWORD:done|if-expr-b|of-expr-c)
if-expr-b : KEYWORD:else
expr
| (NEWLINE statements KEYWORD:done)
for-expr : KEYWORD:for IDENTIFIER EQ expr KEYWORD:to expr
(KEYWORD:step expr)? KEYWORD:then expr
expr
| (NEWLINE statements KEYWORD:done)
while-expr : KEYWORD:while expr KEYWORD:then expr
expr
| (NEWLINE statements KEYWORD:done)
func-def : KEYWORD:define IDENTIFIER?
LPAREN (IDENTIFIER (COMMA IDENTIFIER)*)? RPAREN
(LBRACKET expr RBRACKET)
| (NEWLINE statements KEYWORD:done)