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

Improve error messages from conversion checking #457

Merged
merged 6 commits into from
Jan 22, 2025

Update lang/elaborator/src/result.rs

71b586a
Select commit
Loading
Failed to load commit list.
Merged

Improve error messages from conversion checking #457

Update lang/elaborator/src/result.rs
71b586a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jan 22, 2025 in 0s

54.42% of diff hit (target 73.76%)

View this Pull Request on Codecov

54.42% of diff hit (target 73.76%)

Annotations

Check warning on line 121 in lang/elaborator/src/conversion_checking/unify.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/conversion_checking/unify.rs#L112-L121

Added lines #L112 - L121 were not covered by tests

Check warning on line 292 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L291-L292

Added lines #L291 - L292 were not covered by tests

Check warning on line 297 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L296-L297

Added lines #L296 - L297 were not covered by tests

Check warning on line 302 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L301-L302

Added lines #L301 - L302 were not covered by tests

Check warning on line 416 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L415-L416

Added lines #L415 - L416 were not covered by tests

Check warning on line 421 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L420-L421

Added lines #L420 - L421 were not covered by tests

Check warning on line 426 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L425-L426

Added lines #L425 - L426 were not covered by tests

Check warning on line 431 in lang/elaborator/src/normalizer/eval.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/normalizer/eval.rs#L430-L431

Added lines #L430 - L431 were not covered by tests

Check warning on line 208 in lang/elaborator/src/result.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/result.rs#L208

Added line #L208 was not covered by tests

Check warning on line 221 in lang/elaborator/src/result.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/result.rs#L221

Added line #L221 was not covered by tests

Check warning on line 228 in lang/elaborator/src/result.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/result.rs#L228

Added line #L228 was not covered by tests

Check warning on line 234 in lang/elaborator/src/result.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/result.rs#L234

Added line #L234 was not covered by tests

Check warning on line 55 in lang/elaborator/src/typechecker/decls/codatatype.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/decls/codatatype.rs#L54-L55

Added lines #L54 - L55 were not covered by tests

Check warning on line 55 in lang/elaborator/src/typechecker/decls/datatype.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/decls/datatype.rs#L54-L55

Added lines #L54 - L55 were not covered by tests

Check warning on line 80 in lang/elaborator/src/typechecker/decls/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/decls/mod.rs#L80

Added line #L80 was not covered by tests

Check warning on line 91 in lang/elaborator/src/typechecker/decls/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/decls/mod.rs#L90-L91

Added lines #L90 - L91 were not covered by tests

Check warning on line 33 in lang/elaborator/src/typechecker/exprs/hole.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/hole.rs#L33

Added line #L33 was not covered by tests

Check warning on line 54 in lang/elaborator/src/typechecker/exprs/local_comatch.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_comatch.rs#L54

Added line #L54 was not covered by tests

Check warning on line 193 in lang/elaborator/src/typechecker/exprs/local_comatch.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_comatch.rs#L193

Added line #L193 was not covered by tests

Check warning on line 323 in lang/elaborator/src/typechecker/exprs/local_comatch.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_comatch.rs#L323

Added line #L323 was not covered by tests

Check warning on line 108 in lang/elaborator/src/typechecker/exprs/local_match.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_match.rs#L108

Added line #L108 was not covered by tests

Check warning on line 289 in lang/elaborator/src/typechecker/exprs/local_match.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_match.rs#L289

Added line #L289 was not covered by tests

Check warning on line 318 in lang/elaborator/src/typechecker/exprs/local_match.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/local_match.rs#L318

Added line #L318 was not covered by tests

Check warning on line 147 in lang/elaborator/src/typechecker/exprs/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/mod.rs#L146-L147

Added lines #L146 - L147 were not covered by tests

Check warning on line 210 in lang/elaborator/src/typechecker/exprs/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

lang/elaborator/src/typechecker/exprs/mod.rs#L209-L210

Added lines #L209 - L210 were not covered by tests