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

Improve file pinning comments #10387

Merged
merged 1 commit into from
Jan 8, 2025
Merged

Improve file pinning comments #10387

merged 1 commit into from
Jan 8, 2025

Conversation

konstin
Copy link
Member

@konstin konstin commented Jan 8, 2025

Not ideal still but it captures the reason why the code is the way it is.

Ideally we should remove file pins as it exists now entirely, we're doing a expensive clone (it's noticeable in profiles) of a type that we can still retrieve later only to discard most of them after the resolution is done; But that's out of scope for now.

@konstin konstin added the internal A refactor or improvement that is not user-facing label Jan 8, 2025
@konstin konstin enabled auto-merge (squash) January 8, 2025 10:36
Not ideal still but it captures the reason why the code is the way it is.

Ideally we should remove file pins as it exists now entirely, we're doing a expensive clone (it's noticeable in profiles) of a type that we can still retrieve later only to discard most of them after the resolution is done; But that's out of scope for now.
@konstin konstin force-pushed the konsti/file-pins-comment branch from c1c65b0 to 62959ae Compare January 8, 2025 11:30
@konstin konstin merged commit 68adadf into main Jan 8, 2025
63 checks passed
@konstin konstin deleted the konsti/file-pins-comment branch January 8, 2025 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal A refactor or improvement that is not user-facing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant