import: fix source pos
92.24% of diff hit (target 82.83%)
View this Pull Request on Codecov
92.24% of diff hit (target 82.83%)
Annotations
Check warning on line 25 in base/src/main/java/org/aya/tyck/pat/iter/PiPusheen.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/pat/iter/PiPusheen.java#L25
Added line #L25 was not covered by tests
Check warning on line 16 in base/src/main/java/org/aya/tyck/pat/iter/Pusheenable.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/pat/iter/Pusheenable.java#L16
Added line #L16 was not covered by tests
Check warning on line 19 in base/src/main/java/org/aya/tyck/pat/iter/Pusheenable.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/pat/iter/Pusheenable.java#L19
Added line #L19 was not covered by tests
Check warning on line 76 in base/src/main/java/org/aya/tyck/pat/iter/SignatureIterator.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/pat/iter/SignatureIterator.java#L76
Added line #L76 was not covered by tests
Check warning on line 87 in base/src/main/java/org/aya/tyck/pat/iter/SignatureIterator.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/pat/iter/SignatureIterator.java#L87
Added line #L87 was not covered by tests
Check warning on line 297 in syntax/src/main/java/org/aya/prettier/ConcretePrettier.java
codecov / codecov/patch
syntax/src/main/java/org/aya/prettier/ConcretePrettier.java#L297
Added line #L297 was not covered by tests
Check warning on line 24 in syntax/src/main/java/org/aya/syntax/core/pat/PatToTerm.java
codecov / codecov/patch
syntax/src/main/java/org/aya/syntax/core/pat/PatToTerm.java#L24
Added line #L24 was not covered by tests