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

Renamer #1096

Merged
merged 7 commits into from
Jun 4, 2024

tyck: use it in most places

d603ef4
Select commit
Loading
Failed to load commit list.
Merged

Renamer #1096

tyck: use it in most places
d603ef4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jun 4, 2024 in 0s

76.13% of diff hit (target 78.84%)

View this Pull Request on Codecov

76.13% of diff hit (target 78.84%)

Annotations

Check warning on line 501 in base/src/main/java/org/aya/tyck/pat/PatternTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/PatternTycker.java#L501 

Added line #L501 was not covered by tests

Check warning on line 42 in base/src/main/java/org/aya/unify/DoubleChecker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/DoubleChecker.java#L41-L42 

Added lines #L41 - L42 were not covered by tests

Check warning on line 57 in base/src/main/java/org/aya/unify/DoubleChecker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/DoubleChecker.java#L55-L57 

Added lines #L55 - L57 were not covered by tests

Check warning on line 59 in base/src/main/java/org/aya/unify/DoubleChecker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/unify/DoubleChecker.java#L59 

Added line #L59 was not covered by tests

Check warning on line 143 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#L141-L143 

Added lines #L141 - L143 were not covered by tests

Check warning on line 320 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#L320 

Added line #L320 was not covered by tests

Check warning on line 129 in jit-compiler/src/main/java/org/aya/compiler/SourceBuilder.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

jit-compiler/src/main/java/org/aya/compiler/SourceBuilder.java#L129 

Added line #L129 was not covered by tests

Check warning on line 31 in syntax/src/main/java/org/aya/generic/Renamer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/generic/Renamer.java#L30-L31 

Added lines #L30 - L31 were not covered by tests

Check warning on line 33 in syntax/src/main/java/org/aya/generic/Renamer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/generic/Renamer.java#L33 

Added line #L33 was not covered by tests

Check warning on line 38 in syntax/src/main/java/org/aya/generic/Renamer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/generic/Renamer.java#L38 

Added line #L38 was not covered by tests

Check warning on line 40 in syntax/src/main/java/org/aya/generic/Renamer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/generic/Renamer.java#L40 

Added line #L40 was not covered by tests

Check warning on line 42 in syntax/src/main/java/org/aya/generic/Renamer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/generic/Renamer.java#L42 

Added line #L42 was not covered by tests

Check warning on line 406 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#L406 

Added line #L406 was not covered by tests

Check warning on line 19 in syntax/src/main/java/org/aya/syntax/ref/LocalCtx1.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/ref/LocalCtx1.java#L19 

Added line #L19 was not covered by tests

Check warning on line 37 in syntax/src/main/java/org/aya/syntax/ref/LocalCtx1.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/ref/LocalCtx1.java#L37 

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