johnynek / bosatsu

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

Some minor Infer code cleanups #1074

Closed johnynek closed 8 months ago

johnynek commented 8 months ago

Tried to improve efficiency by:

  1. preserving NonEmptyList information
  2. moving Right cases before Left
  3. remove some allocations
codecov-commenter commented 8 months ago

Codecov Report

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

Comparison is base (51e90e1) 92.31% compared to head (c3c174a) 92.38%.

Files Patch % Lines
.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala 90.19% 5 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 #1074 +/- ## ========================================== + Coverage 92.31% 92.38% +0.07% ========================================== Files 93 93 Lines 10264 10268 +4 Branches 2391 2407 +16 ========================================== + Hits 9475 9486 +11 + Misses 789 782 -7 ```

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