summaryrefslogtreecommitdiff
path: root/ecomp-c/minie.ebnf
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2020-01-23 20:38:45 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2020-01-23 20:38:45 +0100
commit6572619caffcc02de2d7300c4320028c4ab2d8a8 (patch)
tree2a2cf1d7915eab803dcca0d528dbe6045c8a6239 /ecomp-c/minie.ebnf
parente7ee74f96de6521fd09d89883913dd8b8bd94ef5 (diff)
downloadcompilertests-6572619caffcc02de2d7300c4320028c4ab2d8a8.tar.gz
compilertests-6572619caffcc02de2d7300c4320028c4ab2d8a8.tar.bz2
some work on basic declarations and statement blocks
Diffstat (limited to 'ecomp-c/minie.ebnf')
-rw-r--r--ecomp-c/minie.ebnf7
1 files changed, 6 insertions, 1 deletions
diff --git a/ecomp-c/minie.ebnf b/ecomp-c/minie.ebnf
index af0a22d..d80e7f3 100644
--- a/ecomp-c/minie.ebnf
+++ b/ecomp-c/minie.ebnf
@@ -9,4 +9,9 @@ Assignment = Identifier ":=" Number .
Statement = Assignment .
StatementList = Statement { ";" Statement } .
StatementBlock = "begin" StatementList "end" .
-Module = "module" Identifier ";" StatementBlock .
+SimpleType = Identifier .
+Type = SimpleType .
+VariableDeclaration = Identifier ":" Type .
+VariableBlock = "var" { VariableDeclaration ";" } .
+DeclarationBlock = VariableBlock .
+Module = "module" Identifier ";" DeclarationBlock StatementBlock .