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

Use Java 20 language features #991

Merged
merged 2 commits into from
Aug 5, 2023

java: define out `Pair`

641de84
Select commit
Loading
Failed to load commit list.
Merged

Use Java 20 language features #991

java: define out `Pair`
641de84
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Aug 5, 2023 in 1s

42.50% of diff hit (target 81.46%)

View this Pull Request on Codecov

42.50% of diff hit (target 81.46%)

Annotations

Check warning on line 1 in base/src/main/java/org/aya/core/term/FormulaTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/core/term/FormulaTerm.java#L1 

Added line #L1 was not covered by tests

Check warning on line 50 in base/src/main/java/org/aya/core/term/FormulaTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/core/term/FormulaTerm.java#L48-L50 

Added lines #L48 - L50 were not covered by tests

Check warning on line 58 in base/src/main/java/org/aya/core/term/PartialTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/core/term/PartialTerm.java#L58 

Added line #L58 was not covered by tests

Check warning on line 314 in base/src/main/java/org/aya/prettier/BasePrettier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/BasePrettier.java#L314 

Added line #L314 was not covered by tests

Check warning on line 177 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L177 

Added line #L177 was not covered by tests

Check warning on line 179 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L179 

Added line #L179 was not covered by tests

Check warning on line 212 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L210-L212 

Added lines #L210 - L212 were not covered by tests

Check warning on line 214 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L214 

Added line #L214 was not covered by tests

Check warning on line 217 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L217 

Added line #L217 was not covered by tests

Check warning on line 219 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L219 

Added line #L219 was not covered by tests

Check warning on line 222 in base/src/main/java/org/aya/prettier/Codifier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/Codifier.java#L222 

Added line #L222 was not covered by tests

Check warning on line 157 in base/src/main/java/org/aya/tyck/tycker/UnifiedTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/tycker/UnifiedTycker.java#L157 

Added line #L157 was not covered by tests

Check warning on line 350 in pretty/src/main/java/org/aya/pretty/doc/Doc.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

pretty/src/main/java/org/aya/pretty/doc/Doc.java#L350 

Added line #L350 was not covered by tests

Check warning on line 354 in pretty/src/main/java/org/aya/pretty/doc/Doc.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

pretty/src/main/java/org/aya/pretty/doc/Doc.java#L354 

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