Class progress

[ice1000]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 42.37288% with 68 lines in your changes missing coverage. Please review.

Project coverage is 78.84%. Comparing base (988d772) to head (7736c6d).
Report is 1 commits behind head on main.

Files	Patch %	Lines
...e/src/main/java/org/aya/tyck/tycker/AppTycker.java	10.34%	26 Missing ⚠️
...in/java/org/aya/syntax/telescope/AbstractTele.java	23.07%	20 Missing ⚠️
...x/src/main/java/org/aya/prettier/CorePrettier.java	37.50%	7 Missing and 3 partials ⚠️
.../java/org/aya/syntax/core/term/call/FieldCall.java	0.00%	4 Missing ⚠️
base/src/main/java/org/aya/tyck/StmtTycker.java	72.72%	0 Missing and 3 partials ⚠️
base/src/main/java/org/aya/unify/Synthesizer.java	0.00%	2 Missing ⚠️
.../java/org/aya/syntax/core/term/call/ClassCall.java	0.00%	2 Missing ⚠️
...rc/main/java/org/aya/compiler/TermExprializer.java	50.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1114      +/-   ##
============================================
- Coverage     79.17%   78.84%   -0.34%     
- Complexity     3276     3279       +3     
============================================
  Files           301      302       +1     
  Lines          9965    10015      +50     
  Branches       1178     1182       +4     
============================================
+ Hits           7890     7896       +6     
- Misses         1425     1464      +39     
- Partials        650      655       +5     

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

[ice1000]

We can finally take over the obsolete branch classes!