Classes

[ice1000]

No description provided.

[ice1000]

TODO: revise error messages

[HoshinoTented]

👍

[codecov]

Codecov Report

Attention: Patch coverage is 69.09091% with 51 lines in your changes missing coverage. Please review.

Project coverage is 79.44%. Comparing base (f3a198a) to head (8f52aab).
Report is 1 commits behind head on main.

Files	Patch %	Lines
...se/src/main/java/org/aya/unify/TermComparator.java	27.27%	14 Missing and 2 partials ⚠️
...rc/main/java/org/aya/compiler/TermExprializer.java	66.66%	8 Missing ⚠️
...n/java/org/aya/syntax/core/term/ClassCastTerm.java	50.00%	3 Missing and 5 partials ⚠️
...java/org/aya/syntax/core/term/call/MemberCall.java	69.23%	1 Missing and 3 partials ⚠️
...in/java/org/aya/syntax/core/def/MemberDefLike.java	0.00%	3 Missing ⚠️
...rc/main/java/org/aya/syntax/core/term/NewTerm.java	57.14%	2 Missing and 1 partial ⚠️
base/src/main/java/org/aya/tyck/ExprTycker.java	92.00%	0 Missing and 2 partials ⚠️
base/src/main/java/org/aya/unify/Synthesizer.java	0.00%	2 Missing ⚠️
...e/src/main/java/org/aya/tyck/tycker/AppTycker.java	95.65%	0 Missing and 1 partial ⚠️
...ain/java/org/aya/cli/literate/SyntaxHighlight.java	87.50%	0 Missing and 1 partial ⚠️
... and 3 more

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1129      +/-   ##
============================================
+ Coverage     79.08%   79.44%   +0.35%     
- Complexity     3304     3361      +57     
============================================
  Files           302      306       +4     
  Lines         10064    10172     +108     
  Branches       1204     1228      +24     
============================================
+ Hits           7959     8081     +122     
+ Misses         1436     1411      -25     
- Partials        669      680      +11     

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