X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=src%2Fgrammar.txt;h=ce6732b87b223a68a8ea0614cb32936730b15341;hb=3d1c57710eb0b86f13df392f03131157aec22c21;hp=697cca2099bea5c9c05d08eab52d1faeb9961056;hpb=83c1b3ef201e51264439958e1121e8b24d6b3fea;p=cc1516.git

diff --git a/src/grammar.txt b/src/grammar.txt
index 697cca2..ce6732b 100644
--- a/src/grammar.txt
+++ b/src/grammar.txt
@@ -1,35 +1,38 @@
-<Expr>    ::= <ExprWithoutOp> <ExprMaybeOp>
-
-
-<ExprMaybeOp> ::= '+' <Expr>
-
-<ModExpr>      ::= <PlusMinExpr> ['%' <ModExpr>]
-
-<PlusMinExpr>  ::= <TimesDivExpr> [('+' | '-') <PlusMinExpr>]
-
-<TimesDivExpr> ::= <BasicExpr> ['*' | '/' | '%'] <TimesDivExpr>]
-
-<BasicExpr>    ::= <id> ['hd'|'tl'|'fst'|'snd]
-		       | <Op1> <Expr>
-		       | <int>
-		       | <char>
-		       | 'False'
-		       | 'True'
-		       | '(' <Expr> ')'
-		       | <id> '(' [<ActArgs>] ')'
-		       | '[]' <Expr>
-		       | '(' <Expr> ',' <Expr> ')'
-
-<Op2>     ::= '+' | '-' | '*' | '/' | '%' | '==' | '<' | '>' | '<=' | '>='
-          |	'!=' | '&&' | '||' | ':'
-
-<ActArgs> ::= <Expr> [',' ActArgs]
-
-<VarDecl> ::= (<Type> | 'var') <id> '=' <Expr> ';'
-
-<Type> ::= 'Int'
-       | 'Bool'
-       | 'Char'
-       | '(' Type ',' Type ')'
-       | '[' Type ']'
-       | <id>
+<FunDecl>      ::= <id> '(' <Type>* ')' ['::' <FunType] '{' <VarDecl>* <Stmt>+ '}'
+<FunType>      ::= <Type>+ '->' <VoidType>
+                 | <VoidType> 
+<Stmt>         ::= 'if' '(' <Expr> ')' '{' <Stmt>* '}' ['else' '{' <Stmt>* '}']
+                 | 'while' '(' <Expr> ')' '{' <Stmt>* '}'
+                 | <id> <FieldSels> '=' <Expr> ';'
+                 | <FunCall> ';'
+                 | 'return' [<Expr>] ';'
+
+<VarDecl>      ::= (<Type> | 'var') <id> '=' <Expr> ';'
+<Expr>         ::= <BinOrExpr> [':' <Expr>]
+<BinOrExpr>    ::= <BinAndExpr> ['||' <BinOrExpr>]
+<BinAndExpr>   ::= <CompareExpr> ['&&' <BinAndExpr>]
+<CompareExpr>  ::= <PlusMinExpr> [('==' | '<' | '>' | '<=' | '>=' | '!=') <CompareExpr>]
+<PlusMinExpr>  ::= <TimesDivExpr> (('+' | '-') <TimesDivExpr>)*
+<TimesDivExpr> ::= <BasicExpr> (['*' | '/' | '%'] <BasicExpr>)*
+<BasicExpr>    ::= <id> <FieldSels>
+                 | <Op1> <Expr>
+                 | <int>
+                 | <char>
+                 | 'False'
+                 | 'True'
+                 | '(' <Expr> ')'
+                 | <FunCall>
+                 | '[]' <Expr>
+                 | '(' <Expr> ',' <Expr> ')'
+
+<FieldSels>    ::= ('.' ('hd'|'tl'|'fst'|'snd))*
+<FunCall>      ::= <id> '(' [<ActArgs>] ')'
+<ActArgs>      ::= <Expr> [',' ActArgs]
+
+<Type>         ::= 'Int'
+                 | 'Bool'
+                 | 'Char'
+                 | '(' Type ',' Type ')'
+                 | '[' Type ']'
+                 | <id>
+<VoidType>     ::= 'Void' | Type