NikolajDanger/2024B1-AP
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

✨

Browse Source
This commit is contained in:
Nikolaj Gade
2024-09-20 18:23:05 +02:00
parent 0db8862809
commit 3f2698469d
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
a2/a2-handout/src/APL/Eval_Tests.hs
View File

@ -94,6 +94,11 @@ evalTests =
(Print "Test" (Lambda "x" (Mul (Var "x") (Var "x")))) (Print "Test" (Lambda "x" (Mul (Var "x") (Var "x"))))
@?= (["Test: #<fun>"], Right (ValFun [] "x" (Mul (Var "x") (Var "x")))), @?= (["Test: #<fun>"], 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" $ testCase "KvPut" $
eval' eval'
(KvPut (CstInt 1) (CstInt 2)) (KvPut (CstInt 1) (CstInt 2))
@ -102,7 +107,12 @@ evalTests =
testCase "KvGet" $ testCase "KvGet" $
eval' eval'
(Let "x" (KvPut (CstInt 0) (CstBool True)) (Let "y" (KvPut (CstInt 0) (CstBool False)) (KvGet (CstInt 0)))) (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 tests :: TestTree