search

AlgebraicJulia / GATlab.jl

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

Replacement for GATExpr #77

Closed olynch closed 1 year ago

olynch commented 1 year ago

In order to replace the old GAT system, we need a replacement for the GATExpr system, and the FreeCategory stuff that went along with it.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 78.48% and project coverage change: -4.45% :warning:

Comparison is base (b8dd6fa) 70.00% compared to head (83acf1c) 65.55%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #77 +/- ## ========================================== - Coverage 70.00% 65.55% -4.45% ========================================== Files 40 41 +1 Lines 1327 1385 +58 ========================================== - Hits 929 908 -21 - Misses 398 477 +79 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/models/MethodInstance.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9NZXRob2RJbnN0YW5jZS5qbA==) | `1.88% <0.00%> (-0.04%)` | :arrow_down: | | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/stdlib/models/SimpleLenses.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2ltcGxlTGVuc2VzLmps) | `8.33% <ø> (-71.67%)` | :arrow_down: | | [src/stdlib/models/SliceCategories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2xpY2VDYXRlZ29yaWVzLmps) | `60.00% <0.00%> (ø)` | | | [src/syntax/Pushouts.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9QdXNob3V0cy5qbA==) | `96.29% <ø> (ø)` | | | [src/syntax/TheoryMaps.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlNYXBzLmps) | `88.46% <ø> (ø)` | | | [src/util/MetaUtils.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvTWV0YVV0aWxzLmps) | `1.38% <0.00%> (-0.07%)` | :arrow_down: | | [src/syntax/Theories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcmllcy5qbA==) | `86.11% <91.30%> (+1.22%)` | :arrow_up: | | [src/dsl/TheoryMacros.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9UaGVvcnlNYWNyb3Muamw=) | `89.83% <100.00%> (-0.12%)` | :arrow_down: | | [src/models/SymbolicModels.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9TeW1ib2xpY01vZGVscy5qbA==) | `100.00% <100.00%> (ø)` | | ... and [3 files with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/77/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia)

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

olynch commented 1 year ago

Only the basic functionality is implemented, but I'm going to merge this because I want to clean things up in other branches.