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

Fixing placement of inferred record declarations #1515

Merged
merged 16 commits into from
Apr 12, 2024

Conversation

oxisto
Copy link
Member

@oxisto oxisto commented Apr 10, 2024

Before this PR, we inferred all record declarations into the global scope, even though we knew (because of the FQN) that the record is part of another "name" (e.g. a namespace). This PR fixes that and correctly places the inferred record in the extracted scope of its FQN.

@oxisto oxisto marked this pull request as ready for review April 10, 2024 12:07
@oxisto oxisto force-pushed the use-correct-scope-in-record-inference branch 3 times, most recently from a2ae92e to 3dfe18b Compare April 11, 2024 16:45
@oxisto oxisto changed the base branch from main to next-gen-call-resolver April 11, 2024 19:36
Before this PR, we inferred all record declarations into the global scope, even though we knew (because of the FQN) that the record is part of another "name" (e.g. a namespace). This PR fixes that and correctly places the inferred record in the extracted scope of its FQN.
@oxisto oxisto force-pushed the use-correct-scope-in-record-inference branch from 4af96d4 to 7e9487b Compare April 11, 2024 19:37
@oxisto oxisto force-pushed the use-correct-scope-in-record-inference branch from 7e9487b to 43c94ef Compare April 11, 2024 19:58
Base automatically changed from next-gen-call-resolver to main April 12, 2024 07:47
@oxisto oxisto enabled auto-merge (squash) April 12, 2024 10:05
Copy link

sonarcloud bot commented Apr 12, 2024

@oxisto oxisto merged commit 65f1399 into main Apr 12, 2024
3 checks passed
@oxisto oxisto deleted the use-correct-scope-in-record-inference branch April 12, 2024 10:09
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.

2 participants