johnynek / bosatsu

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

Improve tests around subtyping #1057

Closed johnynek closed 10 months ago

codecov-commenter commented 10 months ago

Codecov Report

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

Comparison is base (1d2f7d2) 91.95% compared to head (9420332) 92.06%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1057 +/- ## ========================================== + Coverage 91.95% 92.06% +0.11% ========================================== Files 93 93 Lines 9882 9882 Branches 2317 2317 ========================================== + Hits 9087 9098 +11 + Misses 795 784 -11 ``` [see 8 files with indirect coverage changes](https://app.codecov.io/gh/johnynek/bosatsu/pull/1057/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin)

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