Skip to content

Refactor type resolution #182

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

Draft
heshanpadmasiri wants to merge 11 commits into
base: main
Choose a base branch
from

Move type resolution logics from semantic analyzer to type resolver

41b04e5
Select commit
Loading
Failed to load commit list.
Draft

Refactor type resolution #182

Move type resolution logics from semantic analyzer to type resolver
41b04e5
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Feb 22, 2026 in 0s

85.88% of diff hit (target 27.90%)

View this Pull Request on Codecov

85.88% of diff hit (target 27.90%)

Annotations

Check warning on line 967 in ast/expressions.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/expressions.go#L966-L967 

Added lines #L966 - L967 were not covered by tests

Check warning on line 975 in ast/expressions.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/expressions.go#L974-L975 

Added lines #L974 - L975 were not covered by tests

Check warning on line 979 in ast/expressions.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/expressions.go#L978-L979 

Added lines #L978 - L979 were not covered by tests

Check warning on line 983 in ast/expressions.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/expressions.go#L982-L983 

Added lines #L982 - L983 were not covered by tests

Check warning on line 2094 in ast/node_builder.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/node_builder.go#L2094 

Added line #L2094 was not covered by tests

Check warning on line 533 in ast/pretty_printer.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/pretty_printer.go#L533 

Added line #L533 was not covered by tests

Check warning on line 160 in ast/statements.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/statements.go#L160 

Added line #L160 was not covered by tests

Check warning on line 224 in ast/statements.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/statements.go#L223-L224 

Added lines #L223 - L224 were not covered by tests

Check warning on line 228 in ast/statements.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/statements.go#L227-L228 

Added lines #L227 - L228 were not covered by tests

Check warning on line 196 in bir/non_terminator.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

bir/non_terminator.go#L195-L196 

Added lines #L195 - L196 were not covered by tests

Check warning on line 200 in bir/non_terminator.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

bir/non_terminator.go#L199-L200 

Added lines #L199 - L200 were not covered by tests

Check warning on line 156 in bir/pretty_print.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

bir/pretty_print.go#L156 

Added line #L156 was not covered by tests

Check warning on line 194 in desugar/statement.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

desugar/statement.go#L194 

Added line #L194 was not covered by tests

Check warning on line 209 in desugar/statement.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

desugar/statement.go#L209 

Added line #L209 was not covered by tests

Check warning on line 217 in desugar/statement.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

desugar/statement.go#L217 

Added line #L217 was not covered by tests

Check warning on line 96 in semantics/control_flow_analyzer.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/control_flow_analyzer.go#L91-L96 

Added lines #L91 - L96 were not covered by tests

Check warning on line 91 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L90-L91 

Added lines #L90 - L91 were not covered by tests

Check warning on line 183 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L183 

Added line #L183 was not covered by tests

Check warning on line 326 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L321-L326 

Added lines #L321 - L326 were not covered by tests

Check warning on line 333 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L328-L333 

Added lines #L328 - L333 were not covered by tests

Check warning on line 385 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L385 

Added line #L385 was not covered by tests

Check warning on line 427 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L427 

Added line #L427 was not covered by tests

Check warning on line 435 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L432-L435 

Added lines #L432 - L435 were not covered by tests

Check warning on line 505 in semantics/type_resolver.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_resolver.go#L505 

Added line #L505 was not covered by tests

Check warning on line 508 in semantics/type_resolver.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_resolver.go#L508 

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