search

johnynek / bosatsu

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

Existential types support #1066

Closed johnynek closed 8 months ago

johnynek commented 9 months ago

closes #651

codecov-commenter commented 9 months ago

Codecov Report

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

Comparison is base (7e044b9) 92.03% compared to head (b418a5c) 92.35%. Report is 1 commits behind head on master.

:exclamation: Current head b418a5c differs from pull request most recent head 7f4fefa. Consider uploading reports for the commit 7f4fefa to get more accurate results

Files Patch % Lines
.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala 92.68% 15 Missing :warning:
...e/src/main/scala/org/bykn/bosatsu/rankn/Type.scala 96.75% 6 Missing :warning:
...main/scala/org/bykn/bosatsu/TypedExprToProto.scala 91.83% 4 Missing :warning:
...re/src/main/scala/org/bykn/bosatsu/TypedExpr.scala 97.33% 4 Missing :warning:
...e/src/main/scala/org/bykn/bosatsu/TypeParser.scala 93.75% 1 Missing :warning:
...cala/org/bykn/bosatsu/TypedExprNormalization.scala 93.33% 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 #1066 +/- ## ========================================== + Coverage 92.03% 92.35% +0.31% ========================================== Files 93 93 Lines 9903 10277 +374 Branches 2319 2390 +71 ========================================== + Hits 9114 9491 +377 + Misses 789 786 -3 ```

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