johnynek / bosatsu

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

improve 1164 #1166

Closed johnynek closed 6 months ago

johnynek commented 6 months ago

This improves type inference on function application in the common case that the fn and argument types are simple.

This seems to fix the issue with #1164 for now, but does not address the unshadowing approach I thought would be useful (that turns out to never actually be a codepath hit for reasons I don't understand).

codecov-commenter commented 6 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.50%. Comparing base (04a0e87) to head (d0d643a). Report is 5 commits behind head on main.

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1166 +/- ## ========================================== + Coverage 91.32% 91.50% +0.18% ========================================== Files 96 96 Lines 11846 11970 +124 Branches 2675 2750 +75 ========================================== + Hits 10818 10953 +135 + Misses 1028 1017 -11 ```

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