feat: better if interpreter + new filetest

Testfile/test_call/call1.ccs

@@ -1,8 +1,6 @@
 test() => (
     let x = 5;
-    test();
-    print("haha");
     return(x);
 );
 
-test();
+print(test());

Testfile/test_call/call2.ccs

@@ -4,6 +4,7 @@ let c = 3;
 
 test(b, b, c) => (
     let d = (a + b + c);
+    return (d);
 );
 
 test(a b c);

Testfile/test_if/if1.ccs

@@ -1,7 +1,8 @@
-let a = 1;
+let a = 2;
 let b = 1;
 
 if (a == b) then:
 (
-    let x = 10;
-)
+    print("lol");
+)
+print("ahahaha");

Testfile/test_if/if2.ccs

@@ -1,8 +1,13 @@
 let a = 5;
-let b = 5;
+let b = 4;
+let c = 0;
 
-if (a <= b) then: (
-    let x = 10;
+if (a == b) then: (
+    c = 1;
+    print("aaaha");
 ) else: (
-    let x = 11;
-)
+    print("lol");
+    print("mdr");
+)
+
+print(c);

Testfile/test_if/if3.ccs

@@ -1,16 +1,17 @@
 let a = 5;
-let b = 4;
+let b = 5;
 
 if (a == b) then: (
-    let x = 10;
-    if (a > x) then:
-        show("a is greater");
+    let x = 5;
+    if (a == x) then:
+        print("a is greater");
     else:
-        show ("a is smaller");
+        print("a is smaller");
 ) else: (
-    let x = 11;
-    if (a < x) then:
-        show("x is greater");
+    let x = 5;
+    if (a == x) then:
+        print("x is greater");
     else:
-        show ("x is smaller");
-)
+        print("x is smaller");
+)
+print("outside");

Testfile/test_if/if4.ccs

@@ -0,0 +1,6 @@
+let a = 1;
+let b = 2;
+
+(a == b) ? let x = 10; : let x = 11;
+
+print(x);

Testfile/test_if/if5.ccs

@@ -0,0 +1,7 @@
+
+if (7 > 6) then: (
+    print(True);
+) else: (
+    print(False);
+)
+print("outside");

src/glados-main/Interpreter.hs

@@ -14,8 +14,43 @@ processAst (Define (AstSymbol sym) value) (env, insts) =
 processAst (Assign (AstSymbol sym) value) (env, insts) =
     let valueInsts = interpretMathOpOrValue value
     in (env, insts ++ valueInsts ++ [AssignEnvValue sym])
+processAst (AstCall (AstSymbol "print") (AstList args)) (env, insts) =
+    let argsInsts = concatMap interpretMathOpOrValue args
+    in (env, insts ++ argsInsts ++ [PushToOutput])
+processAst (If cond thenBranch elseBranch) (env, insts) =
+    let condInsts = interpretCondition cond
+        processBranch (AstList stmts) = concatMap (snd . (`processAst` (env, []))) stmts
+        processBranch stmt = snd $ processAst stmt (env, [])
+        thenInsts = processBranch thenBranch
+        elseInsts = processBranch elseBranch
+        jumpOverThen = [JumpIfFalse (length thenInsts + if null elseInsts then 0 else 1)]
+        skipElseInst = if null elseInsts then [] else [Jump (length elseInsts)]
+    in (env, insts ++ condInsts ++ jumpOverThen ++ thenInsts ++ skipElseInst ++ elseInsts)
 processAst _ (env, insts) = (env, insts)
 
+interpretCondition :: Ast -> Insts
+interpretCondition (AstList [left, LogicOperator op, right]) =
+    case op of
+        "<=" -> interpretCompositeOp left right ["<", "=="]
+        ">=" -> interpretCompositeOp left right [">", "=="]
+        _    -> interpretMathOpOrValue left ++ interpretMathOpOrValue right ++ [Push (Operator (logicStringToOperator op)), CallOp]
+interpretCondition _ = error "Invalid condition"
+
+interpretCompositeOp :: Ast -> Ast -> [String] -> Insts
+interpretCompositeOp left right ops =
+    let leftInsts = interpretMathOpOrValue left
+        rightInsts = interpretMathOpOrValue right
+        opInsts = concatMap (\op -> leftInsts ++ rightInsts ++ [Push (Operator (logicStringToOperator op)), CallOp]) ops
+    in opInsts ++ [Push (Operator Or), CallOp]
+
+logicStringToOperator :: String -> Operator
+logicStringToOperator "==" = Eq
+logicStringToOperator "<"  = Less
+logicStringToOperator ">"  = Sup
+logicStringToOperator "&&" = And
+logicStringToOperator "||" = Or
+logicStringToOperator _ = error "Unknown logic operator"
+
 interpretMathOpOrValue :: Ast -> Insts
 interpretMathOpOrValue (AstMathOp left op right) = interpretMathOp left op right
 interpretMathOpOrValue (AstSymbol sym) = [PushVMEnv sym]