Add support for @annotations - #1439
Draft
WardBrian wants to merge 15 commits into
Draft
Codecov / codecov/project
succeeded
Jul 15, 2026 in 0s
89.57% (target 0.00%)
View this Pull Request on Codecov
89.57% (target 0.00%)
Details
Codecov Report
❌ Patch coverage is 85.13514% with 11 lines in your changes missing coverage. Please review.
✅ Project coverage is 89.57%. Comparing base (93cda2f) to head (a7c32a0).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/middle/UnsizedType.ml | 0.00% | 5 Missing |
| src/frontend/Typechecker.ml | 62.50% | 3 Missing |
| src/middle/Program.ml | 66.66% | 1 Missing |
| src/middle/Stmt.ml | 50.00% | 1 Missing |
| src/stan_math_backend/Annotations.ml | 80.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## master #1439 +/- ##
==========================================
- Coverage 89.60% 89.57% -0.03%
==========================================
Files 66 68 +2
Lines 9707 9759 +52
==========================================
+ Hits 8698 8742 +44
- Misses 1009 1017 +8 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/analysis_and_optimization/Memory_patterns.ml | 89.03% <100.00%> (+0.33%) |
⬆️ |
| src/analysis_and_optimization/Optimize.ml | 92.52% <100.00%> (+0.01%) |
⬆️ |
| src/driver/Entry.ml | 93.97% <100.00%> (+0.22%) |
⬆️ |
| src/frontend/Annotations.ml | 100.00% <100.00%> (ø) |
|
| src/frontend/Ast.ml | 73.06% <100.00%> (+0.22%) |
⬆️ |
| src/frontend/Ast_to_Mir.ml | 93.90% <100.00%> (ø) |
|
| src/frontend/Canonicalize.ml | 96.36% <100.00%> (ø) |
|
| src/frontend/Environment.ml | 95.23% <ø> (ø) |
|
| src/frontend/Pretty_printing.ml | 92.38% <100.00%> (+0.07%) |
⬆️ |
| src/stan_math_backend/Lower_functions.ml | 96.90% <ø> (ø) |
|
| ... and 7 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