Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Classes #1129

Merged
merged 36 commits into from
Jul 12, 2024

pretty: explicitize when signature is null

8f52aab
Select commit
Loading
Failed to load commit list.
Merged

Classes #1129

pretty: explicitize when signature is null
8f52aab
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jul 12, 2024 in 0s

69.09% of diff hit (target 79.08%)

View this Pull Request on Codecov

69.09% of diff hit (target 79.08%)

Annotations

Check warning on line 140 in base/src/main/java/org/aya/unify/Synthesizer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/Synthesizer.java#L139-L140 

Added lines #L139 - L140 were not covered by tests

Check warning on line 151 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L151 

Added line #L151 was not covered by tests

Check warning on line 191 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L191 

Added line #L191 was not covered by tests

Check warning on line 194 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L194 

Added line #L194 was not covered by tests

Check warning on line 200 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L197-L200 

Added lines #L197 - L200 were not covered by tests

Check warning on line 333 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L333 

Added line #L333 was not covered by tests

Check warning on line 338 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L338 

Added line #L338 was not covered by tests

Check warning on line 340 in base/src/main/java/org/aya/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/TermComparator.java#L340 

Added line #L340 was not covered by tests

Check warning on line 145 in jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java#L141-L145 

Added lines #L141 - L145 were not covered by tests

Check warning on line 217 in jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java#L217 

Added line #L217 was not covered by tests

Check warning on line 236 in jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java#L235-L236 

Added lines #L235 - L236 were not covered by tests

Check warning on line 202 in syntax/src/main/java/org/aya/prettier/CorePrettier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/prettier/CorePrettier.java#L202 

Added line #L202 was not covered by tests

Check warning on line 11 in syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java#L11 

Added line #L11 was not covered by tests

Check warning on line 13 in syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java#L13 

Added line #L13 was not covered by tests

Check warning on line 38 in syntax/src/main/java/org/aya/syntax/core/term/ClassCastTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/ClassCastTerm.java#L38 

Added line #L38 was not covered by tests

Check warning on line 53 in syntax/src/main/java/org/aya/syntax/core/term/ClassCastTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/ClassCastTerm.java#L53 

Added line #L53 was not covered by tests

Check warning on line 22 in syntax/src/main/java/org/aya/syntax/core/term/NewTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/NewTerm.java#L22 

Added line #L22 was not covered by tests

Check warning on line 52 in syntax/src/main/java/org/aya/syntax/core/term/call/MemberCall.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/call/MemberCall.java#L52 

Added line #L52 was not covered by tests
View more details on Codecov