search

johnynek / bosatsu

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

Fix intersection commutativity 1086 #1088

Closed johnynek closed 7 months ago

johnynek commented 7 months ago

close #1086

codecov-commenter commented 7 months ago

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (16045fc) 92.30% compared to head (006eaa2) 92.30%.

Files Patch % Lines
...in/scala/org/bykn/bosatsu/pattern/SeqPattern.scala 91.30% 2 Missing :warning:

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1088 +/- ## ========================================== - Coverage 92.30% 92.30% -0.01% ========================================== Files 93 93 Lines 10564 10589 +25 Branches 2497 2517 +20 ========================================== + Hits 9751 9774 +23 - Misses 813 815 +2 ```

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