From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 27 Feb 2016 13:23:23 +0000 (+0100)
Subject: part of the grammar
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=4b1fa735020db50a74432026107834b2df1fc719;p=cc1516.git

part of the grammar
---

diff --git a/src/grammar.txt b/src/grammar.txt
new file mode 100644
index 0000000..ca25bb0
--- /dev/null
+++ b/src/grammar.txt
@@ -0,0 +1,24 @@
+<Expr>    ::= <id> ['hd'|'tl'|'fst'|'snd] <Expr`>
+		  | <Op1> <Expr> <Expr`>
+		  | <int> <Expr`>
+		  | <char> <Expr`>
+		  | 'False' <Expr`>
+		  | 'True' <Expr`>
+		  | '(' <Expr> ')' <Expr`>
+		  | <id> '(' [<ActArgs>] ')' <Expr`>
+		  | '[]' <Expr> <Expr`>
+		  | '(' <Expr> ',' <Expr> ')' <Expr`>
+<Expr`>   ::= <Op2> <Expr> <Expr`> | e
+<Op2>     ::= '+' | '-' | '*' | '/' | '%' | '==' | '<' | '>' | '<=' | '>='
+          |	'!=' | '&&' | '||' | ':'
+
+<ActArgs> ::= <Expr> [',' ActArgs]
+
+<VarDecl> ::= (<Type> | 'var') <id> '=' <Expr> ';'
+
+<Type> ::= 'Int'
+       | 'Bool'
+       | 'Char'
+       | '(' Type ',' Type ')'
+       | '[' Type ']'
+       | <id>