[ADD] test compilation conditinal

GLaDOS2023.cabal

@@ -123,6 +123,7 @@ test-suite unit-tests
         CompilationLib.Parser.CptTests,
         CompilationLib.Parser.AstTests,
         CompilationLib.Parser.InfixTests,
+        CompilationLib.Compilation.CompilationTests,
         ExecLib.Exec.Infer,
         ExecLib.Exec.Instructions,
         ExecLib.Exec.Utils,

tests/unit-tests/CompilationLib.hs

@@ -8,12 +8,14 @@ import CompilationLib.Parser.ArgsTests ( argsSuite )
 import CompilationLib.Parser.AstTests ( astSuite )
 import CompilationLib.Parser.TokenTests ( tokenSuite )
 import CompilationLib.Parser.InfixTests ( infixSuite )
+import CompilationLib.Compilation.CompilationTests (testCompileConditional)
 
 compilationLibSuite :: TestTree
 compilationLibSuite = testGroup "Parsing Testsuite" [
         argsSuite,
         tokenSuite,
         cptSuite,
         astSuite,
-        infixSuite
+        infixSuite,
+        testCompileConditional
     ]

tests/unit-tests/CompilationLib/Compilation/CompilationTests.hs

@@ -0,0 +1,21 @@
+module CompilationLib.Compilation.CompilationTests where
+
+import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.HUnit (testCase, (@=?), assertEqual)
+import qualified Parsing.Ast as Ast
+import Compilation.RetVal (RetVal(RetVal))
+import Parsing.Ast (Expr(Num))
+import qualified Exec.InferType as Type
+import qualified Instruction as Type
+import Compilation.Compile (compileConditional)
+import Instruction (Instruction(Push))
+
+testCompileConditional :: TestTree
+testCompileConditional = testGroup "compileConditional"
+  [ testCase "simple conditional" $
+      let ast = Ast.Call "if" [ Ast.Boolean True, Ast.Num 1, Ast.Num 2 ]
+          reg = (["foo"], [])
+          RetVal instrs blocks reg' = compileConditional ast reg
+      in do
+        assertEqual "instructions" [Type.Conditional [Push "#t"] [Push "1"] [Push "2"]] instrs
+  ]