Skip to content

pat: fill patterns

Codecov / codecov/patch succeeded Jan 4, 2025 in 0s

87.17% of diff hit (target 82.83%)

View this Pull Request on Codecov

87.17% of diff hit (target 82.83%)

Annotations

Check warning on line 225 in base/src/main/java/org/aya/tyck/pat/ClauseTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/ClauseTycker.java#L225 

Added line #L225 was not covered by tests

Check warning on line 314 in base/src/main/java/org/aya/tyck/pat/PatternTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/PatternTycker.java#L314 

Added line #L314 was not covered by tests

Check warning on line 33 in base/src/main/java/org/aya/tyck/pat/iter/LambdaPusheen.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/iter/LambdaPusheen.java#L33 

Added line #L33 was not covered by tests

Check warning on line 37 in base/src/main/java/org/aya/tyck/pat/iter/LambdaPusheen.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/iter/LambdaPusheen.java#L35-L37 

Added lines #L35 - L37 were not covered by tests

Check warning on line 25 in base/src/main/java/org/aya/tyck/pat/iter/PiPusheen.java

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/pat/iter/SignatureIterator.java#L87 

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