search

johnynek / bosatsu

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

ToyIO demonstration of a basic IO implementation for runtimes #1162

Open johnynek opened 7 months ago

johnynek commented 7 months ago

The idea here is to encode general recursion into a data structure, then have the recursive loop be implemented in the runtime or host language.

codecov-commenter commented 7 months ago

Codecov Report

Attention: Patch coverage is 87.50000% with 3 lines in your changes are missing coverage. Please review.

Project coverage is 91.41%. Comparing base (04a0e87) to head (d9f2901). Report is 4 commits behind head on main.

Files Patch % Lines
core/src/main/scala/org/bykn/bosatsu/ToyIO.scala 87.50% 3 Missing :warning:

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

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1162 +/- ## ========================================== + Coverage 91.32% 91.41% +0.08% ========================================== Files 96 97 +1 Lines 11846 11898 +52 Branches 2675 2727 +52 ========================================== + Hits 10818 10876 +58 + Misses 1028 1022 -6 ```

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