Skip to content

Implement Java Compiler Plugin for witness resolution verification#16

Merged
Garciat merged 8 commits into
mainfrom
garciat/javac-plugin
Dec 17, 2025
Merged

Implement Java Compiler Plugin for witness resolution verification#16
Garciat merged 8 commits into
mainfrom
garciat/javac-plugin

Split parsers

0ede536
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Dec 17, 2025 in 0s

66.87% (+0.38%) compared to 9ed5275

View this Pull Request on Codecov

66.87% (+0.38%) compared to 9ed5275

Details

Codecov Report

❌ Patch coverage is 67.72908% with 81 lines in your changes missing coverage. Please review.
✅ Project coverage is 66.87%. Comparing base (9ed5275) to head (0ede536).

Files with missing lines Patch % Lines
...iat/typeclasses/processor/StaticWitnessSystem.java 65.07% 9 Missing and 13 partials ⚠️
...rciat/typeclasses/processor/WitnessResolution.java 37.14% 20 Missing and 2 partials ⚠️
...ypeclasses/processor/WitnessResolutionChecker.java 81.44% 12 Missing and 6 partials ⚠️
.../com/garciat/typeclasses/processor/ParsedType.java 29.41% 12 Missing ⚠️
...com/garciat/typeclasses/processor/Unification.java 86.20% 2 Missing and 2 partials ⚠️
...at/typeclasses/processor/OverlappingInstances.java 66.66% 0 Missing and 3 partials ⚠️
Additional details and impacted files 
@@             Coverage Diff              @@
##               main      #16      +/-   ##
============================================
+ Coverage     66.49%   66.87%   +0.38%     
- Complexity      224      289      +65     
============================================
  Files            47       54       +7     
  Lines           567      818     +251     
  Branches         42       77      +35     
============================================
+ Hits            377      547     +170     
- Misses          168      223      +55     
- Partials         22       48      +26

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
View more details on Codecov