Skip to content

Rewrite Aya using locally nameless and HOAS+JIT compilation #1042

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

Merged
merged 3 commits into from
May 27, 2024

test: fix

b7fd016
Select commit
Loading
Failed to load commit list.
Merged

Rewrite Aya using locally nameless and HOAS+JIT compilation #1042

test: fix
b7fd016
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed May 27, 2024 in 1s

79.95% of diff hit (target 81.36%)

View this Pull Request on Codecov

79.95% of diff hit (target 81.36%)

Annotations

Check warning on line 59 in base/src/main/java/org/aya/normalize/Normalizer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/Normalizer.java#L59 

Added line #L59 was not covered by tests

Check warning on line 137 in base/src/main/java/org/aya/normalize/Normalizer.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/Normalizer.java#L137 

Added line #L137 was not covered by tests

Check warning on line 51 in base/src/main/java/org/aya/normalize/PatMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/PatMatcher.java#L51 

Added line #L51 was not covered by tests

Check warning on line 65 in base/src/main/java/org/aya/normalize/PatMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/PatMatcher.java#L63-L65 

Added lines #L63 - L65 were not covered by tests

Check warning on line 68 in base/src/main/java/org/aya/normalize/PatMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/PatMatcher.java#L68 

Added line #L68 was not covered by tests

Check warning on line 105 in base/src/main/java/org/aya/normalize/PatMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/PatMatcher.java#L104-L105 

Added lines #L104 - L105 were not covered by tests

Check warning on line 129 in base/src/main/java/org/aya/normalize/PatMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/normalize/PatMatcher.java#L129 

Added line #L129 was not covered by tests

Check warning on line 122 in base/src/main/java/org/aya/primitive/PrimFactory.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/PrimFactory.java#L122 

Added line #L122 was not covered by tests

Check warning on line 190 in base/src/main/java/org/aya/primitive/PrimFactory.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/PrimFactory.java#L190 

Added line #L190 was not covered by tests

Check warning on line 203 in base/src/main/java/org/aya/primitive/PrimFactory.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/PrimFactory.java#L202-L203 

Added lines #L202 - L203 were not covered by tests

Check warning on line 91 in base/src/main/java/org/aya/primitive/ShapeMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/ShapeMatcher.java#L91 

Added line #L91 was not covered by tests

Check warning on line 124 in base/src/main/java/org/aya/primitive/ShapeMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/ShapeMatcher.java#L124 

Added line #L124 was not covered by tests

Check warning on line 154 in base/src/main/java/org/aya/primitive/ShapeMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/ShapeMatcher.java#L154 

Added line #L154 was not covered by tests

Check warning on line 159 in base/src/main/java/org/aya/primitive/ShapeMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/ShapeMatcher.java#L159 

Added line #L159 was not covered by tests

Check warning on line 187 in base/src/main/java/org/aya/primitive/ShapeMatcher.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/primitive/ShapeMatcher.java#L187 

Added line #L187 was not covered by tests

Check warning on line 55 in base/src/main/java/org/aya/resolve/ResolveInfo.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/ResolveInfo.java#L55 

Added line #L55 was not covered by tests

Check warning on line 82 in base/src/main/java/org/aya/resolve/ResolveInfo.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/ResolveInfo.java#L82 

Added line #L82 was not covered by tests

Check warning on line 31 in base/src/main/java/org/aya/resolve/context/ModuleContext.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/context/ModuleContext.java#L31 

Added line #L31 was not covered by tests

Check warning on line 119 in base/src/main/java/org/aya/resolve/context/ModuleContext.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/context/ModuleContext.java#L119 

Added line #L119 was not covered by tests

Check warning on line 54 in base/src/main/java/org/aya/resolve/context/ModuleExport.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/context/ModuleExport.java#L54 

Added line #L54 was not covered by tests

Check warning on line 58 in base/src/main/java/org/aya/resolve/context/ModuleExport.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/context/ModuleExport.java#L58 

Added line #L58 was not covered by tests

Check warning on line 36 in base/src/main/java/org/aya/resolve/context/NoExportContext.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/context/NoExportContext.java#L35-L36 

Added lines #L35 - L36 were not covered by tests

Check warning on line 17 in base/src/main/java/org/aya/resolve/error/GeneralizedNotAvailableError.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/GeneralizedNotAvailableError.java#L16-L17 

Added lines #L16 - L17 were not covered by tests

Check warning on line 24 in base/src/main/java/org/aya/resolve/error/NameProblem.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/NameProblem.java#L24 

Added line #L24 was not covered by tests

Check warning on line 75 in base/src/main/java/org/aya/resolve/error/NameProblem.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/NameProblem.java#L75 

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