Merge branch 'dev' into prevent-unnecessary-fixpoints #4926
GitHub Actions / Test Report
failed
May 4, 2024 in 0s
8 passed, 1 failed and 0 skipped
❌ junit_tests.xml
9 tests were completed in 0ms with 8 passed, 1 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| Dynamics | 8✅ | 1❌ | 0ms |
❌ Dynamics
✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ Application of function on free variable
✅ Inconsistent case statement
❌ Let expression for a function
Alcotest assertion failure
Annotations
Check failure on line 0 in junit_tests.xml
github-actions / Test Report
Dynamics ► Let expression for a function
Failed test found in:
junit_tests.xml
Error:
Alcotest assertion failure
Raw output
Alcotest assertion failure
FAIL Let expression for function which wraps a fix point constructor around the function
Expected: `(Let ((Var "f"),
(FixF ("f", (Arrow (Int, Int)),
(Fun ((Var "x"), Int, (BinIntOp (Plus, (IntLit 1), (BoundVar "x"))),
(Some "f+")))
)),
(IntLit 55)))'
Received: `(Let ((Var "f"),
(Fun ((Var "x"), Int, (BinIntOp (Plus, (IntLit 1), (BoundVar "x"))),
(Some "f"))),
(IntLit 55)))'
Loading