johnynek / bosatsu

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

Bump to scala 2.13.12 #1058

Closed johnynek closed 10 months ago

johnynek commented 10 months ago

replaces #1042

codecov-commenter commented 10 months ago

Codecov Report

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

Comparison is base (d9d6cb2) 92.03% compared to head (31518e2) 92.09%.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1058 +/- ## ========================================== + Coverage 92.03% 92.09% +0.06% ========================================== Files 93 93 Lines 9882 9883 +1 Branches 2317 2311 -6 ========================================== + Hits 9095 9102 +7 + Misses 787 781 -6 ``` | [Files](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin) | Coverage Δ | | |---|---|---| | [.../src/main/scala/org/bykn/bosatsu/KindFormula.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L0tpbmRGb3JtdWxhLnNjYWxh) | `93.36% <100.00%> (ø)` | | | [...in/scala/org/bykn/bosatsu/ParallelViaProduct.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1BhcmFsbGVsVmlhUHJvZHVjdC5zY2FsYQ==) | `85.71% <100.00%> (ø)` | | | [core/src/main/scala/org/bykn/bosatsu/Shape.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1NoYXBlLnNjYWxh) | `87.56% <100.00%> (ø)` | | | [...rc/main/scala/org/bykn/bosatsu/TotalityCheck.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1RvdGFsaXR5Q2hlY2suc2NhbGE=) | `97.02% <ø> (ø)` | | | [core/src/main/scala/org/bykn/bosatsu/TypeRef.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1R5cGVSZWYuc2NhbGE=) | `100.00% <100.00%> (ø)` | | | [...cala/org/bykn/bosatsu/TypedExprNormalization.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1R5cGVkRXhwck5vcm1hbGl6YXRpb24uc2NhbGE=) | `89.56% <ø> (ø)` | | | [...ore/src/main/scala/org/bykn/bosatsu/Variance.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1ZhcmlhbmNlLnNjYWxh) | `100.00% <100.00%> (ø)` | | | [...n/scala/org/bykn/bosatsu/codegen/python/Code.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L2NvZGVnZW4vcHl0aG9uL0NvZGUuc2NhbGE=) | `92.57% <100.00%> (+0.35%)` | :arrow_up: | | [...la/org/bykn/bosatsu/codegen/python/PythonGen.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L2NvZGVnZW4vcHl0aG9uL1B5dGhvbkdlbi5zY2FsYQ==) | `95.15% <100.00%> (ø)` | | | [...c/main/scala/org/bykn/bosatsu/graph/Toposort.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L2dyYXBoL1RvcG9zb3J0LnNjYWxh) | `100.00% <100.00%> (ø)` | | | ... and [7 more](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin) | | ... and [5 files with indirect coverage changes](https://app.codecov.io/gh/johnynek/bosatsu/pull/1058/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.