polarity-lang / polarity

A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
57 stars 2 forks source link

Small refactorings #378

Closed BinderDavid closed 3 days ago

BinderDavid commented 3 days ago

Just copying some small refactorings from another project. I also (hopefully) fixed the problem with codecov blocking PRs.

codecov[bot] commented 3 days ago

Codecov Report

Attention: Patch coverage is 0% with 10 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
lang/printer/src/render/latex.rs 0.00% 9 Missing :warning:
app/src/cli/texify.rs 0.00% 1 Missing :warning:
Files with missing lines Coverage Δ
app/src/cli/texify.rs 12.06% <0.00%> (+1.29%) :arrow_up:
lang/printer/src/render/latex.rs 0.00% <0.00%> (ø)

🚨 Try these New Features: