More tests #5938
GitHub Actions / Test Report
succeeded
Oct 13, 2024 in 1s
39 passed, 0 failed and 0 skipped
✅ junit_tests.xml
39 tests were completed in 0ms with 39 passed, 0 failed and 0 skipped.
Test suite | Passed | Failed | Skipped | Time |
---|---|---|---|---|
Dynamics | 39✅ | 0ms |
✅ Dynamics
Dynamics.Elaboration
✅ 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
✅ Labeled tuple elaboration
✅ Rearranged labeled tuple
✅ Singleton labeled tuple
Dynamics.LabeledTuple
✅ Singleton unlabeled
✅ Singleton labeled
✅ unlabeled remains same order
✅ fully labeled retains ordering
✅ Missing labels get added
✅ Present labels get reordered
✅ Partial labels get reordered
✅ Extra labels get reordered
✅ pair labeled, unlabled
✅ Independent label sets with some overlap
Dynamics.Statics
✅ Function with unknown param
✅ Function with known param
✅ Function with labeled param
✅ bifunction
✅ function application
✅ function deferral
✅ Typechecking fails for unlabeled variable being assigned to labeled tuple
✅ Typechecking fails for unlabeled variable being assigned to labeled tuple
✅ Assigning labeled tuple to variable
✅ Singleton Labled Tuple ascription in let
Dynamics.Evaluator
✅ Integer literal
✅ Integer sum
✅ Labeled tuple projection
Dynamics.MakeTerm
✅ Singleton Labled Tuple ascription in let
✅ Assigning labeled tuple to variable
Loading