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

Theory maps send type constructors to general types in a context #108

Closed kris-brown closed 11 months ago

kris-brown commented 11 months ago

This removes an earlier restriction that sent AlgSorts to AlgSorts.

This allows us to express the theory morphism op: ThCategory -> ThCategory.

codecov[bot] commented 11 months ago

Codecov Report

Patch coverage: 100.00% and project coverage change: +0.41% :tada:

Comparison is base (15cec29) 96.84% compared to head (eb00c47) 97.25%. Report is 2 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #108 +/- ## ========================================== + Coverage 96.84% 97.25% +0.41% ========================================== Files 26 27 +1 Lines 1458 1494 +36 ========================================== + Hits 1412 1453 +41 + Misses 46 41 -5 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/108?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/syntax/GATs.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/108?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRzLmps) | `96.79% <100.00%> (+0.69%)` | :arrow_up: | | [src/syntax/Scopes.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/108?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9TY29wZXMuamw=) | `98.55% <100.00%> (+1.51%)` | :arrow_up: | | [src/syntax/TheoryMaps.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/108?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlNYXBzLmps) | `97.22% <100.00%> (+0.05%)` | :arrow_up: | ... and [2 files with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/108/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.