search

johnynek / bosatsu

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

Fix 1157 #1184

Closed johnynek closed 6 months ago

johnynek commented 6 months ago

close #1157

I think the full issue is the mechanism of computing unions of pattern equality. Here I just expanded the number of trial patterns and hopefully this makes flakes a lot less likely.

codecov-commenter commented 6 months ago

Codecov Report

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

Project coverage is 91.55%. Comparing base (04a0e87) to head (3b41964). Report is 17 commits behind head on main.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1184 +/- ## ========================================== + Coverage 91.32% 91.55% +0.23% ========================================== Files 96 96 Lines 11846 12011 +165 Branches 2675 2819 +144 ========================================== + Hits 10818 10997 +179 + Misses 1028 1014 -14 ```

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