From c35a7ba06a47a8b26bd784df552ad4c881383898 Mon Sep 17 00:00:00 2001
From: Mel <einebeere@gmail.com>
Date: Fri, 22 Oct 2021 22:44:21 +0200
Subject: Boolean logic and If expressions.

---
 grammar.ebnf | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'grammar.ebnf')

diff --git a/grammar.ebnf b/grammar.ebnf
index d99f268..c4c6914 100644
--- a/grammar.ebnf
+++ b/grammar.ebnf
@@ -18,14 +18,16 @@ Expression = AssignmentExpression;
 (* Expressions affected by precedence*)
 
 (* NOTE: Only allow IDENTIFIERs and their fields as the LValue for now. *)
-AssignmentExpression = IDENTIFIER {"." IDENTIFIER} ("=" | ":=") AssignmentExpression | TermExpression;
+AssignmentExpression = IDENTIFIER {"." IDENTIFIER} ("=" | ":=") AssignmentExpression | EqualityExpression;
+EqualityExpression = ComparisonExpression { ("==" | "!=") ComparisonExpression };
+ComparisonExpression = TermExpression { ("<" | "<=" | ">" | ">=") TermExpression };
 TermExpression = FactorExpression { ("+" | "-") FactorExpression };
 FactorExpression = UnaryExpression { ("*" | "/") UnaryExpression };
 UnaryExpression = ( "-" | "!" ) UnaryExpression | UnitExpression ;
                 
 (* Unaffected Expressions *)
 
-UnitExpression = FLOAT | INT | STR | GroupExpression | BlockExpression | FnExpression | TypeExpression | FormExpression | IfExpression;
+UnitExpression = FLOAT | INT | STR | TRUE | FALSE |GroupExpression | BlockExpression | FnExpression | TypeExpression | FormExpression | IfExpression;
 
 GroupExpression = "(" Expression ")";
 BlockExpression = Block;
-- 
cgit 1.4.1