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.

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

Class call code #1113

Merged
merged 9 commits into from
Jun 9, 2024

resolve: make class def basically tyck

988d772
Select commit
Loading
Failed to load commit list.
Merged

Class call code #1113

resolve: make class def basically tyck
988d772
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jun 9, 2024 in 1s

37.50% of diff hit (target 79.05%)

View this Pull Request on Codecov

37.50% of diff hit (target 79.05%)

Annotations

Check warning on line 80 in base/src/main/java/org/aya/resolve/visitor/StmtBinder.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/resolve/visitor/StmtBinder.java#L80

Added line #L80 was not covered by tests

Check warning on line 67 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L67

Added line #L67 was not covered by tests

Check warning on line 69 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L69

Added line #L69 was not covered by tests

Check warning on line 132 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L128-L132

Added lines #L128 - L132 were not covered by tests

Check warning on line 138 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#L138

Added line #L138 was not covered by tests

Check warning on line 138 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#L138

Added line #L138 was not covered by tests

Check warning on line 198 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#L198

Added line #L198 was not covered by tests

Check warning on line 59 in syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java#L59

Added line #L59 was not covered by tests

Check warning on line 37 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L36-L37

Added lines #L36 - L37 were not covered by tests

Check warning on line 40 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L40

Added line #L40 was not covered by tests

Check warning on line 42 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L42

Added line #L42 was not covered by tests

Check warning on line 47 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L46-L47

Added lines #L46 - L47 were not covered by tests

Check warning on line 50 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L50

Added line #L50 was not covered by tests

Check warning on line 54 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L54

Added line #L54 was not covered by tests

Check warning on line 59 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L56-L59

Added lines #L56 - L59 were not covered by tests

Check warning on line 63 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L63

Added line #L63 was not covered by tests

Check warning on line 66 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L66

Added line #L66 was not covered by tests

Check warning on line 27 in syntax/src/main/java/org/aya/syntax/core/def/MemberDef.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/def/MemberDef.java#L27

Added line #L27 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java#L23

Added line #L23 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java#L30

Added line #L30 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java#L34

Added line #L34 was not covered by tests