search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
223 stars 11 forks source link

Add some more kind soundness tests #1075

Closed johnynek closed 8 months ago

codecov-commenter commented 8 months ago

Codecov Report

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

Comparison is base (7afee71) 92.27% compared to head (a038ef2) 92.34%.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1075 +/- ## ========================================== + Coverage 92.27% 92.34% +0.07% ========================================== Files 93 93 Lines 10266 10271 +5 Branches 2401 2410 +9 ========================================== + Hits 9473 9485 +12 + Misses 793 786 -7 ```

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

johnynek commented 8 months ago

flake was a real bug fixed by #1076