Skip to content

Fix name resolving bug, add tests#68

Merged
MarcellPerger1 merged 8 commits intomainfrom
add-typechecking
Jun 13, 2025
Merged

Fix name resolving bug, add tests#68
MarcellPerger1 merged 8 commits intomainfrom
add-typechecking

Conversation

@MarcellPerger1
Copy link
Owner

@MarcellPerger1 MarcellPerger1 added T-bug Something isn't working T-tests Type: Tests (e.g. add more tests) A-TypeChecking Area: Type checking/name resolution labels Jun 13, 2025
@MarcellPerger1 MarcellPerger1 merged commit 044b418 into main Jun 13, 2025
3 checks passed
@MarcellPerger1
Copy link
Owner Author

Still don't delete that branch! (Type-checking still not done)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-TypeChecking Area: Type checking/name resolution T-bug Something isn't working T-tests Type: Tests (e.g. add more tests)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Tests for name resolution Bad and buggy code in name resolver

1 participant