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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
(* 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
| number
| unop, expression
| expression, binop, expression
| '(', expression, ')'
;
unop
= '-' | '&' | '+' | '~'
;
binop
= '+' | '!=' | '%' | '&'
| '*' | '-' | '/' | '<<'
| '==' | '>>' | '|' | '~'
;
number
= integer
| floating
;
integer
= ['0d'], decdigit, {decdigit}
| '0b', bindigit, {bindigit}
| '0o', octdigit, {octdigit}
| '0x', hexdigit, {hexdigit}
;
floating
= integer, '.', [integer]
| [integer], '.', integer
;
bindigit
= '0' | '1'
;
octdigit
= '0' | '1' | '2' | '3'
| '4' | '5' | '6' | '7'
;
decdigit
= '0' | '1' | '2' | '3' | '4'
| '5' | '6' | '7' | '8' | '9'
;
hexdigit
= '0' | '1' | '2' | '3'
| '4' | '5' | '6' | '7'
| '8' | '9' | 'A' | 'B'
| 'C' | 'D' | 'E' | 'F'
;
type
= IDENT
;
ellipsis
= '…'
| '...'
;
|
