Completely rework how types are handled

1 files changed, 75 insertions, 0 deletions

diff --git a/grammar.ebnf b/grammar.ebnf
new file mode 100644
index 0000000..a5f5e50
--- /dev/null
+++ b/grammar.ebnf
@@ -0,0 +1,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
+	: '…'
+	| '...'
+	;