Simplify test #5988
GitHub Actions / Test Report
failed
Oct 25, 2024 in 0s
61 passed, 4 failed and 0 skipped
❌ junit_tests.xml
65 tests were completed in 0ms with 61 passed, 4 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| Dynamics | 61✅ | 4❌ | 0ms |
❌ Dynamics
Dynamics.Parser
✅ Integer Literal
✅ Fun
✅ String Literal
✅ Bool Literal
✅ Empty Hole
✅ Var
✅ Parens
✅ BinOp
✅ Let
✅ Tuple
✅ Match
✅ If
✅ Deferred Ap
✅ Cons
✅ ListLit
✅ Constructor
✅ Type Alias
✅ Test
✅ Filter
✅ List Concat
❌ Integer Ops
Alcotest assertion failure
❌ Let binding with type ascription
Parse error at: line 1, column 8
❌ named_function
Parse error at: line 1, column 11
Dynamics.Statics
✅ Function with unknown param
✅ Function with known param
✅ bifunction
✅ function application
✅ function deferral
Dynamics.Evaluator
✅ Integer literal
✅ Integer sum
Dynamics.Elaboration tests
✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ An unapplied function
✅ Application of function on free variable
✅ Inconsistent case statement
✅ Let expression for a function
✅ Function application with a deferred argument
Dynamics.Menhir elaboration tests
❌ Filter test (menhir)
Parse error at: line 1, column 7
✅ Test failed (menhir)
✅ Built-in function (menhir)
✅ Dynamic error hole (menhir)
✅ Constructor test (menhir)
✅ Failed cast test (menhir)
✅ Type ap test (menhir)
✅ Let expression for a tuple (menhir)
✅ Single integer (menhir)
✅ Let expression for a function (menhir)
✅ Empty hole (menhir)
✅ Free var (menhir)
✅ Bin op (menhir)
✅ Inconsistent case (menhir)
✅ ap fun (menhir)
✅ Consistent if (menhir)
✅ Undefined test (menhir)
✅ List exp (menhir)
✅ Invalid test (menhir)
✅ Type alias test (menhir)
✅ List concat test (menhir)
✅ Unary operation test (menhir)
✅ Sequence test (menhir)
✅ FixF test (menhir)
Annotations
Check failure on line 0 in junit_tests.xml
github-actions / Test Report
Dynamics ► Dynamics.Parser ► Integer Ops
Failed test found in:
junit_tests.xml
Error:
Alcotest assertion failure
Raw output
Alcotest assertion failure
FAIL Integer Ops matches expected type
Expected: `{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int GreaterThanOrEqual),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Minus),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Plus),
{ ids = <opaque>; copied = <opaque>;
term =
(UnOp ((Int Minus),
{ ids = <opaque>; copied = <opaque>; term = (Int 1) }))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 2) }))
},
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Divide),
{ ids = <opaque>; copied = <opaque>; term = (Int 3) },
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Times),
{ ids = <opaque>; copied = <opaque>; term = (Int 4) },
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Power),
{ ids = <opaque>; copied = <opaque>; term = (Int 5)
},
{ ids = <opaque>; copied = <opaque>; term = (Int 6)
}
))
}
))
}
))
}
))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 8) }))
}'
Received: `{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int GreaterThanOrEqual),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Power),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Times),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Divide),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Minus),
{ ids = <opaque>; copied = <opaque>;
term =
(BinOp ((Int Plus),
{ ids = <opaque>; copied = <opaque>;
term =
(UnOp ((Int Minus),
{ ids = <opaque>; copied = <opaque>;
term = (Int 1) }
))
},
{ ids = <opaque>; copied = <opaque>;
term = (Int 2) }
))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 3)
}
))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 4) }))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 5) }))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 6) }))
},
{ ids = <opaque>; copied = <opaque>; term = (Int 8) }))
}'
Check failure on line 0 in junit_tests.xml
github-actions / Test Report
Dynamics ► Dynamics.Parser ► Let binding with type ascription
Failed test found in:
junit_tests.xml
Error:
Parse error at: line 1, column 8
Raw output
Parse error at: line 1, column 8
Check failure on line 0 in junit_tests.xml
github-actions / Test Report
Dynamics ► Dynamics.Parser ► named_function
Failed test found in:
junit_tests.xml
Error:
Parse error at: line 1, column 11
Raw output
Parse error at: line 1, column 11
Check failure on line 0 in junit_tests.xml
github-actions / Test Report
Dynamics ► Dynamics.Menhir elaboration tests ► Filter test (menhir)
Failed test found in:
junit_tests.xml
Error:
Parse error at: line 1, column 7
Raw output
Parse error at: line 1, column 7
Loading