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

AlgDot and AlgStruct fields use symbols #140

Open kris-brown opened 5 months ago

kris-brown commented 5 months ago

Addresses https://github.com/AlgebraicJulia/GATlab.jl/issues/138

Perhaps due to julia version bump, some unrelated tests in MetaUtils stopped passing (looks like Julia is better at grabbing LineNumberNodes) so those tests were slightly changed to strip more LineNumberNodes before comparing equality.

codecov[bot] commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (1ee1536) 96.61% compared to head (e1ea961) 96.66%. Report is 2 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #140 +/- ## ========================================== + Coverage 96.61% 96.66% +0.04% ========================================== Files 38 38 Lines 2067 2067 ========================================== + Hits 1997 1998 +1 + Misses 70 69 -1 ```

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