johnynek / bosatsu

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

Define functions in scala, support up to 32 #1039

Closed johnynek closed 1 year ago

codecov-commenter commented 1 year ago

Codecov Report

Patch coverage has no change and project coverage change: +0.03% :tada:

Comparison is base (f70e7e0) 91.76% compared to head (05bccc1) 91.79%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1039 +/- ## ========================================== + Coverage 91.76% 91.79% +0.03% ========================================== Files 91 91 Lines 9487 9487 Branches 2172 2172 ========================================== + Hits 8706 8709 +3 + Misses 781 778 -3 ``` | [Files Changed](https://app.codecov.io/gh/johnynek/bosatsu/pull/1039?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin) | Coverage Δ | | |---|---|---| | [core/src/main/scala/org/bykn/bosatsu/Package.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1039?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1BhY2thZ2Uuc2NhbGE=) | `98.09% <ø> (ø)` | | | [...e/src/main/scala/org/bykn/bosatsu/rankn/Type.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1039?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L3JhbmtuL1R5cGUuc2NhbGE=) | `95.88% <0.00%> (ø)` | | ... and [6 files with indirect coverage changes](https://app.codecov.io/gh/johnynek/bosatsu/pull/1039/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin)

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