search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

Good sumtypes #157

Open olynch opened 1 week ago

olynch commented 1 week ago

Sum types that are not bad.

codecov[bot] commented 1 week ago

Codecov Report

Attention: Patch coverage is 92.96875% with 9 lines in your changes missing coverage. Please review.

Project coverage is 93.49%. Comparing base (7e81a46) to head (813b064).

Files Patch % Lines
src/util/MyActive.jl 84.37% 5 Missing :warning:
src/util/SumTypes.jl 95.83% 4 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## symbolic-resource-sharers #157 +/- ## ============================================================= - Coverage 93.51% 93.49% -0.03% ============================================================= Files 41 43 +2 Lines 2777 2905 +128 ============================================================= + Hits 2597 2716 +119 - Misses 180 189 +9 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.