36 lines
811 B
BNF
36 lines
811 B
BNF
MOD ::= EXPR*
|
|
EXPR ::=
|
|
| ASSERT
|
|
| VARDECL
|
|
| FUNDECL
|
|
| RETURN
|
|
| VARSET
|
|
| SCOPE
|
|
| IF
|
|
| OR
|
|
ASSERT ::= assert EXPR
|
|
VARDECL ::= let ident assign EXPR
|
|
FUNDECL ::= fun ident opar PARAMS cpar BLOCK end
|
|
PARAMS ::= (ident (comma ident)*)?
|
|
RETURN ::= return EXPR
|
|
VARSET ::= ident assign EXPR
|
|
BLOCK ::= EXPR*
|
|
SCOPE ::= begin BLOCK end
|
|
IF ::= if EXPR then BLOCK (else BLOCK | IF)? end
|
|
OR ::= AND (or AND)*
|
|
AND ::= EQNE (and EQNE)*
|
|
EQNE ::=
|
|
| CMP
|
|
| CMP eq CMP
|
|
| CMP ne CMP
|
|
CMP ::= TERM ((lt | le | ge | gt) TERM)?
|
|
TERM ::= FACTOR ((add | sub) FACTOR)*
|
|
FACTOR ::= POWER ((mul | div | mod) POWER)*
|
|
POWER ::= UNARY (pow UNARY)?
|
|
UNARY ::= sub? GROUP | not? GROUP
|
|
GROUP ::= LITERAL | opar EXPR cpar
|
|
LITERAL ::= BUILTIN | FUNCALL
|
|
FUNCALL ::= ident opar ARGS cpar
|
|
ARGS ::= (EXPR (comma EXPR)*)?
|
|
BUILTIN ::= num | bool | str | ident
|