search

johnynek / bosatsu

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

Add set relation code from a private project. #1110

Closed johnynek closed 6 months ago

johnynek commented 6 months ago

This is code from a project developed with @non several years ago.

The code contains laws for set algebra, a relation type useful for comparing sets, and a recursive algorithm to compute relations by decomposing unions written as lists.

I think this could help me improve the pattern totality checking.

codecov-commenter commented 6 months ago

Codecov Report

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

Comparison is base (5a48b73) 92.37% compared to head (442954e) 92.57%. Report is 2 commits behind head on master.

Files Patch % Lines
...e/src/main/scala/org/bykn/bosatsu/set/SetOps.scala 90.00% 1 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 #1110 +/- ## ========================================== + Coverage 92.37% 92.57% +0.20% ========================================== Files 94 96 +2 Lines 10761 10864 +103 Branches 2523 2549 +26 ========================================== + Hits 9940 10057 +117 + Misses 821 807 -14 ```

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