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

Declarations only required ParseResults #1150

Merged

Conversation

TheAngryByrd
Copy link
Member

@TheAngryByrd TheAngryByrd commented Jul 28, 2023

WHAT

πŸ€– Generated by Copilot at 09c7a10

Improve document and workspace symbol features by using parsed results of open files. Rename and update some fields and functions in AdaptiveFSharpLspServer.fs to reflect this change.

πŸ€– Generated by Copilot at 09c7a10

Symbol fields change
Using parsed, not checked files
A fresh spring update

πŸ“„πŸ—‚οΈπŸ›

WHY

Discussed in #1149 (comment)

HOW

πŸ€– Generated by Copilot at 09c7a10

  • Rename openFilesToCheckedDeclarations and getAllDeclarations to openFilesToDeclarations and getAllOpenDeclarations respectively, to reflect that they are based on parsed results of open files, not checked results (link)
  • Update getDeclarations and workspaceSymbol functions to use the renamed values and avoid using potentially outdated or missing values (link, link)

let openFilesToCheckedDeclarations =
openFilesToCheckedFilesResults
let openFilesToDeclarations =
openFilesToParsedResults
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The real change

@@ -1453,16 +1453,16 @@ type AdaptiveFSharpLspServer
|> AsyncAVal.forceAsync


let openFilesToCheckedDeclarations =
openFilesToCheckedFilesResults
let openFilesToDeclarations =
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Renames to compensate

@TheAngryByrd TheAngryByrd force-pushed the folding-range-only-needs-parse branch from 09c7a10 to 8ab53f5 Compare July 28, 2023 15:33
@TheAngryByrd TheAngryByrd merged commit 72103b5 into ionide:main Jul 28, 2023
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants