Skip to content

Fix a copypaste checking bug in unpickling #18430

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

Merged
merged 6 commits into from
Apr 8, 2025
Merged

Conversation

psfinaki
Copy link
Member

@psfinaki psfinaki commented Mar 31, 2025

There are 4 node in tables used in unpickling: entities, anon infos, vals and typars.

It's very likely there was a copypaste bug in checking the tables.

Copy link
Contributor

github-actions bot commented Mar 31, 2025

❗ Release notes required


✅ Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/9.0.300.md

@psfinaki psfinaki changed the title Fix a copypaste checking bug in pickling Fix a copypaste checking bug in unpickling Mar 31, 2025
@psfinaki psfinaki marked this pull request as ready for review March 31, 2025 12:43
@psfinaki psfinaki requested a review from a team as a code owner March 31, 2025 12:43
@T-Gro T-Gro enabled auto-merge (squash) April 7, 2025 16:40
@T-Gro T-Gro merged commit 71691a7 into dotnet:main Apr 8, 2025
33 checks passed
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Apr 8, 2025
T-Gro added a commit that referenced this pull request Apr 8, 2025
* Fix a copypaste checking bug in unpickling (#18430)

* Tooltips: fix `null` annotation highlighting (#18457)

* Tooltips: fix `null` annotation highlighting

* Release notes

---------

Co-authored-by: Petr <psfinaki@users.noreply.github.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

3 participants