johnynek / bosatsu

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

Fix StrPat.isTotal #1076

Closed johnynek closed 8 months ago

johnynek commented 8 months ago

since adding Char literals and patterns in #1052 it seems StrPat.isTotal was broken, and therefore, pattern intersection.

A scalacheck finally detected it by noticing that intersection wasn't associative.

Yah for scalachecks and laws!

codecov-commenter commented 8 months ago

Codecov Report

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

Comparison is base (06547ec) 92.29% compared to head (16d8552) 92.39%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1076 +/- ## ========================================== + Coverage 92.29% 92.39% +0.09% ========================================== Files 93 93 Lines 10268 10266 -2 Branches 2407 2401 -6 ========================================== + Hits 9477 9485 +8 + Misses 791 781 -10 ```

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