search

johnynek / bosatsu

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

Fix issue 1023 #1025

Closed johnynek closed 1 year ago

johnynek commented 1 year ago

close #1023

codecov-commenter commented 1 year ago

Codecov Report

Merging #1025 (f56571d) into master (b510bc9) will increase coverage by 0.05%. The diff coverage is 38.88%.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##           master    #1025      +/-   ##
==========================================
+ Coverage   91.91%   91.97%   +0.05%     
==========================================
  Files          90       90              
  Lines        9376     9381       +5     
  Branches     2166     2172       +6     
==========================================
+ Hits         8618     8628      +10     
+ Misses        758      753       -5
Files Changed Coverage Δ
cli/src/main/scala/org/bykn/bosatsu/Main.scala 0.00% <0.00%> (ø)
...i/src/main/scala/org/bykn/bosatsu/PathModule.scala 53.33% <0.00%> (-6.67%) :arrow_down:
.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala 96.35% <100.00%> (+0.04%) :arrow_up:

... and 7 files with indirect coverage changes