aboutsummaryrefslogtreecommitdiff
path: root/grammar.ebnf
blob: b16a85b3f2e3ef7e42013272c74213098aeb4612 (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
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
104
105
106
107
108
109
(* 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
	| funcall
	| 'return', [expression], ';'
	;

expression
	= IDENT
	| number
	| unop, expression
	| expression, binop, expression
	| '(', expression, ')'
	| funcall
	;

funcall
	= 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
	= '…'
	| '...'
	;