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

Support dependent types in variable #1226

Open
wants to merge 10 commits into
base: main
Choose a base branch
from

resolve: save dependencies in GeneralizedVar; print cycle

c76c7da
Select commit
Loading
Failed to load commit list.
Open

Support dependent types in variable #1226

resolve: save dependencies in GeneralizedVar; print cycle
c76c7da
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jan 17, 2025 in 1s

60.43% of diff hit (target 83.41%)

View this Pull Request on Codecov

60.43% of diff hit (target 83.41%)

Annotations

Check warning on line 13 in base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java#L13 

Added line #L13 was not covered by tests

Check warning on line 19 in base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java#L18-L19 

Added lines #L18 - L19 were not covered by tests

Check warning on line 25 in base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/error/CyclicDependencyError.java#L21-L25 

Added lines #L21 - L25 were not covered by tests

Check warning on line 270 in base/src/main/java/org/aya/resolve/visitor/ExprResolver.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/ExprResolver.java#L269-L270 

Added lines #L269 - L270 were not covered by tests

Check warning on line 70 in base/src/main/java/org/aya/resolve/visitor/StmtResolver.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/StmtResolver.java#L70 

Added line #L70 was not covered by tests

Check warning on line 73 in base/src/main/java/org/aya/resolve/visitor/StmtResolver.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/StmtResolver.java#L72-L73 

Added lines #L72 - L73 were not covered by tests

Check warning on line 78 in base/src/main/java/org/aya/resolve/visitor/StmtResolver.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/StmtResolver.java#L78 

Added line #L78 was not covered by tests

Check warning on line 81 in base/src/main/java/org/aya/resolve/visitor/StmtResolver.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/StmtResolver.java#L81 

Added line #L81 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java#L52-L55 

Added lines #L52 - L55 were not covered by tests

Check warning on line 65 in base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java#L64-L65 

Added lines #L64 - L65 were not covered by tests

Check warning on line 89 in base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java#L89 

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