blob: caf8c73d76a79073ef1dbf8590b7f0a0e2930655 (
plain) (
blame)
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
|
Program ::= Statement+
Statement ::= (AssignmentStatement | FunctionCallStatement | IfStatement | ReturnStatement) SEMICOLON
AssignmentStatement ::= "let" IDENTIFIER EQUALS Expression
FunctionCallStatement ::= IDENTIFIER LPAREN FunctionArguments? RPAREN
IfStatement ::= "if" Expression LBRACE Statement* RBRACE -- TODO: Should function definitions be allowed?
ReturnStatement ::= RETURN Expression
FunctionArguments ::= Expression ("," Expression)*
--TODO: ==
Expression ::= AdditiveExpression | FunctionDefinition
AdditiveExpression ::= PrimaryExpression ("+" AdditiveExpression)
PrimaryExpression ::= NUMBER | IDENTIFIER | FunctionCallStatement
FunctionDefinition ::= LPAREN FunctionParamters? RPAREN ARROW LBRACE Statement* ReturnStatement SEMICOLON RBRACE
FunctionParameters ::= IDENTIFIER ("," IDENTIFIER)*
|
