Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Class call code #1113
Changes from all commits
f1244ad
b3140a5
4bd88b6
2f96b1c
950850c
4662538
96790c3
ab4e580
988d772
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Check warning on line 80 in base/src/main/java/org/aya/resolve/visitor/StmtBinder.java
base/src/main/java/org/aya/resolve/visitor/StmtBinder.java#L80
Check warning on line 67 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java
base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L67
Check warning on line 69 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java
base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L69
Check warning on line 132 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java
base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L128-L132
Check warning on line 138 in base/src/main/java/org/aya/unify/Synthesizer.java
base/src/main/java/org/aya/unify/Synthesizer.java#L138
Check warning on line 138 in jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java
jit-compiler/src/main/java/org/aya/compiler/TermExprializer.java#L138
Check warning on line 198 in syntax/src/main/java/org/aya/prettier/CorePrettier.java
syntax/src/main/java/org/aya/prettier/CorePrettier.java#L198
Check warning on line 59 in syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java
syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java#L59
Check warning on line 37 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L36-L37
Check warning on line 40 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L40
Check warning on line 42 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L42
Check warning on line 47 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L46-L47
Check warning on line 50 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L50
Check warning on line 54 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L54
Check warning on line 59 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L56-L59
Check warning on line 63 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L63
Check warning on line 66 in syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java
syntax/src/main/java/org/aya/syntax/core/def/ClassDef.java#L66