Add dynamic mode to type projector #1858
Open
Codecov / codecov/project
succeeded
Feb 10, 2026 in 0s
50.34% (-0.05%) compared to 77ab798
View this Pull Request on Codecov
50.34% (-0.05%) compared to 77ab798
Details
Codecov Report
❌ Patch coverage is 33.58779% with 87 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.34%. Comparing base (77ab798) to head (4ae0e2c).
Additional details and impacted files
@@ Coverage Diff @@
## dev #1858 +/- ##
==========================================
- Coverage 50.38% 50.34% -0.05%
==========================================
Files 230 231 +1
Lines 25365 25456 +91
==========================================
+ Hits 12780 12815 +35
- Misses 12585 12641 +56 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/haz3lcore/pretty/PadIds.re | 100.00% <100.00%> (ø) |
|
| src/haz3lcore/projectors/ProjectorBase.re | 6.00% <ø> (ø) |
|
| src/haz3lcore/zipper/action/Introduce.re | 80.37% <ø> (ø) |
|
| src/language/statics/Elaborator.re | 81.67% <100.00%> (-0.07%) |
⬇️ |
| src/web/app/Cursor.re | 0.00% <ø> (ø) |
|
| src/web/app/editors/code/CodeWithStatics.re | 35.13% <ø> (ø) |
|
| src/haz3lcore/pretty/ExpToSegment.re | 79.91% <50.00%> (-0.09%) |
⬇️ |
| src/language/ProjectorKind.re | 89.65% <83.33%> (+0.76%) |
⬆️ |
| src/language/term/IdTagged.re | 68.75% <0.00%> (-8.67%) |
⬇️ |
| src/util/Id.re | 32.00% <0.00%> (ø) |
|
| ... and 5 more |
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading