blob: a5f5e50a9d87b4e652029e88616afcc28290430f (
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
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
(* vi: ft=ebnf
*)
program
: {'pub' declaration}
;
declaration
: mutdecl
| constdecl
;
assignment
: expression '=' expression ';'
;
mutdecl
: IDENT ':' type ';'
| IDENT ':' [type] '=' (expression | ellipsis) ';'
;
constdecl
: IDENT ':' [type] ':' (expression ';' | function)
;
function
: prototype '{' statement* '}'
;
prototype
: '(' ')' [type]
;
statement
| declaration
| assignment
| 'return' [expression] ';'
;
expression
: IDENT
| NUMERIC
| unop expression
| expression binop expression
| '(' expression ')'
;
unop
: '-'
| '&'
| '+'
| '~'
;
binop
: '+'
| '%'
| '&'
| '*'
| '-'
| '/'
| '<<'
| '>>'
| '|'
| '~'
;
type
: IDENT
;
ellipsis
: '…'
| '...'
;
|
