aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Give lambda parameters more reasonable names, implement Jit `ourCall` #1100

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

Attention: Patch coverage is 96.66667% with 1 line in your changes missing coverage. Please review.

Project coverage is 78.90%. Comparing base (1e56958) to head (1ba8e70). Report is 1 commits behind head on main.

Files Patch % Lines
...ain/java/org/aya/syntax/core/term/call/FnCall.java 0.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1100 +/- ## ============================================ + Coverage 78.87% 78.90% +0.03% - Complexity 3212 3221 +9 ============================================ Files 293 293 Lines 9821 9824 +3 Branches 1161 1163 +2 ============================================ + Hits 7746 7752 +6 + Misses 1428 1425 -3 Partials 647 647 ```

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