johnynek / bosatsu

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

Add to TypeConstraint examples #1099

Closed johnynek closed 6 months ago

codecov-commenter commented 6 months ago

Codecov Report

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

Comparison is base (9233b27) 92.25% compared to head (855c8db) 92.35%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1099 +/- ## ========================================== + Coverage 92.25% 92.35% +0.10% ========================================== Files 93 93 Lines 10640 10640 Branches 2479 2479 ========================================== + Hits 9816 9827 +11 + Misses 824 813 -11 ```

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