Skip to content

Include locals in the completion list#880

Merged
minestarks merged 10 commits into
mainfrom
minestarks/completion-locals
Dec 8, 2023
Merged

Include locals in the completion list#880
minestarks merged 10 commits into
mainfrom
minestarks/completion-locals

Conversation

@minestarks
Copy link
Copy Markdown
Member

@minestarks minestarks commented Dec 1, 2023

During name resolution, we now collect all the scopes and locals in the program into a table that can be used later for completion lists.

locals

Comment thread compiler/qsc_frontend/src/resolve.rs Fixed
Comment thread compiler/qsc_frontend/src/resolve.rs Fixed
@minestarks minestarks changed the title [WIP] Include locals in the completion list Include locals in the completion list Dec 4, 2023
@minestarks minestarks force-pushed the minestarks/completion-locals branch from 034c5fc to 2a03df1 Compare December 4, 2023 23:45
@minestarks minestarks force-pushed the minestarks/completion-locals branch from 2a03df1 to 2920ab0 Compare December 4, 2023 23:54
@minestarks minestarks marked this pull request as ready for review December 4, 2023 23:55
Comment thread compiler/qsc_frontend/src/incremental/tests.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/incremental/tests.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/resolve.rs Outdated
Comment thread compiler/qsc_frontend/src/resolve.rs Outdated
Comment thread compiler/qsc_frontend/src/resolve.rs Outdated
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
Comment thread compiler/qsc_frontend/src/resolve.rs
@minestarks minestarks enabled auto-merge December 8, 2023 18:24
@minestarks minestarks added this pull request to the merge queue Dec 8, 2023
Merged via the queue into main with commit d90cd04 Dec 8, 2023
@minestarks minestarks deleted the minestarks/completion-locals branch December 8, 2023 19:04
github-merge-queue Bot pushed a commit that referenced this pull request Feb 2, 2024
#880 added support for locals in
completion list.
What was still missing in the Monaco playground and VS Code extension is
mapping to the relevant icon.

Before:
<img width="607" alt="Bildschirmfoto 2024-02-02 um 15 59 11"
src="https://github.com/microsoft/qsharp/assets/1710369/2759d98c-e528-4510-9fb0-b25e145e5032">

After:
<img width="538" alt="Bildschirmfoto 2024-02-02 um 15 58 35"
src="https://github.com/microsoft/qsharp/assets/1710369/d5e043b5-fbb5-4335-95cb-57655cf19b4d">
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.

6 participants