Skip to content

Name Registration#101

Draft
The-Ray-Man wants to merge 6 commits intomainfrom
ramon/name-registration
Draft

Name Registration#101
The-Ray-Man wants to merge 6 commits intomainfrom
ramon/name-registration

Conversation

@The-Ray-Man
Copy link
Copy Markdown
Collaborator

@The-Ray-Man The-Ray-Man commented Apr 9, 2026

This PR should not be merged before #100

Previously, not all names appearing in the program were registered with the resolver. This was not an issue for the SimpleResolver because it operates independently of registered names. However, future resolver implementations will require every name to be registered, and this PR prepares the codebase for that requirement.

Some registration passes included here may be redundant. For example, when registering a while loop, the process also traverses the condition. It is generally impossible for a condition to contain a fresh name, making that specific pass unnecessary.

I suggest retaining these passes regardless. The computational overhead is minimal, and keeping them ensures a more robust guarantee that all names are registered without exception.

@The-Ray-Man The-Ray-Man changed the title Ramon/name registration Name Registration Apr 9, 2026
@The-Ray-Man The-Ray-Man self-assigned this Apr 9, 2026
@The-Ray-Man The-Ray-Man force-pushed the ramon/name-registration branch from e17ee99 to cb7ed0e Compare April 9, 2026 13:30
@The-Ray-Man The-Ray-Man force-pushed the ramon/name-registration branch from cb7ed0e to 8714b13 Compare April 9, 2026 15:52
@The-Ray-Man The-Ray-Man force-pushed the ramon/name-registration branch from 8714b13 to 16dd6f8 Compare April 10, 2026 12:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant