codecov[bot]
commented
1 year ago Codecov Report
Attention: 1 lines in your changes are missing coverage. Please review.
Comparison is base (
d116677) 96.81% compared to head (c649f92) 96.74%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #113 +/- ## ========================================== - Coverage 96.81% 96.74% -0.07% ========================================== Files 28 28 Lines 1695 1690 -5 ========================================== - Hits 1641 1635 -6 - Misses 54 55 +1 ``` | [Files](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/113?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/113?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRzLmps) | `96.66% <97.29%> (-0.30%)` | :arrow_down: |:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
For compat with Catlab, we now can infer the type of an axiom declaration rather than requiring it to be manually specified.
Reminder that in general type inference can be ambiguous modulo the equations of a GAT - in the future we'll use E-graphs for this inference.