Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Preserve type annotations during normalization #382

Merged
merged 7 commits into from
Nov 20, 2024

Make codecov purely informational on patches

a6e4511
Select commit
Loading
Failed to load commit list.
Merged

Preserve type annotations during normalization #382

Make codecov purely informational on patches
a6e4511
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Nov 20, 2024 in 1s

75.10% (-0.12%) compared to 2862f7d

View this Pull Request on Codecov

75.10% (-0.12%) compared to 2862f7d

Details

Codecov Report

Attention: Patch coverage is 37.00000% with 63 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
lang/elaborator/src/normalizer/val.rs 27.27% 32 Missing ⚠️
lang/elaborator/src/normalizer/eval.rs 34.04% 31 Missing ⚠️
Files with missing lines Coverage Δ
lang/ast/src/exp/anno.rs 90.38% <100.00%> (+9.61%) ⬆️
lang/elaborator/src/normalizer/env.rs 87.36% <ø> (+0.91%) ⬆️
lang/elaborator/src/result.rs 34.54% <ø> (+1.78%) ⬆️
lang/elaborator/src/unifier/unify.rs 86.16% <100.00%> (+1.29%) ⬆️
lang/elaborator/src/normalizer/eval.rs 77.82% <34.04%> (-7.21%) ⬇️
lang/elaborator/src/normalizer/val.rs 44.47% <27.27%> (-0.24%) ⬇️

... and 1 file with indirect coverage changes

🚨 Try these New Features:

View more details on Codecov