Skip to content

Enhance type checker and AST builder with new operator support #87

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.

Sign up for GitHub

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

Merged
0xGeorgii merged 4 commits into from
Jan 14, 2026

Add comprehensive documentation for type checker errors and type system

ab9ea9b
Select commit
Loading
Failed to load commit list.
Merged

Enhance type checker and AST builder with new operator support #87

Add comprehensive documentation for type checker errors and type system
ab9ea9b
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jan 14, 2026 in 0s

44.89% of diff hit (target 70.00%)

View this Pull Request on Codecov

44.89% of diff hit (target 70.00%)

Annotations

Check warning on line 921 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L921 

Added line #L921 was not covered by tests

Check warning on line 1080 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1080 

Added line #L1080 was not covered by tests

Check warning on line 1142 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1142 

Added line #L1142 was not covered by tests

Check warning on line 1176 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1176 

Added line #L1176 was not covered by tests

Check warning on line 1184 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1184 

Added line #L1184 was not covered by tests

Check warning on line 1227 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1227 

Added line #L1227 was not covered by tests

Check warning on line 1342 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1336-L1342 

Added lines #L1336 - L1342 were not covered by tests

Check warning on line 1353 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1344-L1353 

Added lines #L1344 - L1353 were not covered by tests

Check warning on line 1362 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1356-L1362 

Added lines #L1356 - L1362 were not covered by tests

Check warning on line 1373 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1364-L1373 

Added lines #L1364 - L1373 were not covered by tests

Check warning on line 1538 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L1538 

Added line #L1538 was not covered by tests

Check warning on line 2050 in core/type-checker/src/type_checker.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_checker.rs#L2050 

Added line #L2050 was not covered by tests

Check warning on line 66 in core/type-checker/src/type_info.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_info.rs#L66 

Added line #L66 was not covered by tests

Check warning on line 73 in core/type-checker/src/type_info.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_info.rs#L68-L73 

Added lines #L68 - L73 were not covered by tests

Check warning on line 352 in core/type-checker/src/type_info.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_info.rs#L350-L352 

Added lines #L350 - L352 were not covered by tests

Check warning on line 354 in core/type-checker/src/type_info.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_info.rs#L354 

Added line #L354 was not covered by tests

Check warning on line 356 in core/type-checker/src/type_info.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/type-checker/src/type_info.rs#L356 

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