From 3f2698469dc84af1beae8f98a48102dde91445a8 Mon Sep 17 00:00:00 2001 From: Nikolaj Gade Date: Fri, 20 Sep 2024 18:23:05 +0200 Subject: [PATCH] :sparkles: --- a2/a2-handout/src/APL/Eval_Tests.hs | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/a2/a2-handout/src/APL/Eval_Tests.hs b/a2/a2-handout/src/APL/Eval_Tests.hs index 9ab7847..dea5c2f 100644 --- a/a2/a2-handout/src/APL/Eval_Tests.hs +++ b/a2/a2-handout/src/APL/Eval_Tests.hs @@ -94,6 +94,11 @@ evalTests = (Print "Test" (Lambda "x" (Mul (Var "x") (Var "x")))) @?= (["Test: #"], Right (ValFun [] "x" (Mul (Var "x") (Var "x")))), -- + testCase "Print (Multiple)" $ + eval' + (Let "x" (Print "Test1" $ CstInt 2) (Print "Test2" $ CstInt 3)) + @?= (["Test1: 2", "Test2: 3"], Right (ValInt 3)), + -- testCase "KvPut" $ eval' (KvPut (CstInt 1) (CstInt 2)) @@ -102,7 +107,12 @@ evalTests = testCase "KvGet" $ eval' (Let "x" (KvPut (CstInt 0) (CstBool True)) (Let "y" (KvPut (CstInt 0) (CstBool False)) (KvGet (CstInt 0)))) - @?= ([], Right (ValBool False)) + @?= ([], Right (ValBool False)), + -- + testCase "TryCatch (key-value)" $ + eval' + (TryCatch (Let "x" (KvPut (CstInt 5) (CstInt 1)) (Var "y")) (KvGet (CstInt 5))) + @?= ([], Right (ValInt 1)) ] tests :: TestTree