search

AlgebraicJulia / GATlab.jl

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

Refactor of AlgTerm/AlgType to use good sumtypes #158

Open olynch opened 3 months ago

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 90.75026% with 90 lines in your changes missing coverage. Please review.

Project coverage is 84.56%. Comparing base (bd3df8e) to head (1668f3b).

Files Patch % Lines
src/syntax/gats/ast.jl 84.56% 23 Missing :warning:
src/syntax/gats/algorithms.jl 77.90% 19 Missing :warning:
src/util/Dtrys.jl 95.15% 11 Missing :warning:
src/nonstdlib/dynamics/ResourceSharers.jl 94.79% 9 Missing :warning:
src/util/MyActive.jl 81.81% 6 Missing :warning:
src/models/ModelInterface.jl 86.48% 5 Missing :warning:
src/util/SumTypes.jl 94.62% 5 Missing :warning:
src/syntax/gats/exprinterop.jl 93.84% 4 Missing :warning:
src/syntax/gats/closures.jl 95.23% 3 Missing :warning:
src/syntax/gats/gat.jl 70.00% 3 Missing :warning:
... and 2 more
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #158 +/- ## ========================================== - Coverage 93.85% 84.56% -9.30% ========================================== Files 38 41 +3 Lines 2229 2837 +608 ========================================== + Hits 2092 2399 +307 - Misses 137 438 +301 ```

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