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.

Sign up for GitHub

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

Jump to bottom

LSP: Implement Phase 1 endpoints #17973

Open
0101 opened this issue Nov 7, 2024 · 1 comment · Fixed by #18087
Open

LSP: Implement Phase 1 endpoints #17973

0101 opened this issue Nov 7, 2024 · 1 comment · Fixed by #18087
Assignees
@T-Gro
Labels
Area-LSP Related to Language Server Protocol
Milestone
April 2025

Comments

@0101
Copy link
Contributor

0101 commented Nov 7, 2024 •
edited by T-Gro
Loading

Name Type Direction Category Priority / Dev phase Supported by FSAC Note
textDocument/didChange Notification ➡️ Document synchronization 1 ✅
textDocument/didClose Notification ➡️ Document synchronization 1
textDocument/didOpen Notification ➡️ Document synchronization 1 ✅
textDocument/diagnostic Request ↩️ Language features 1
textDocument/semanticTokens/full Request ↩️ Language features 1 not fully done. Only syntax now.
$/logTrace Notification ⬅️ Lifecycle 1
$/setTrace Notification ➡️ Lifecycle 1
exit Notification ➡️ Lifecycle 1
shutdown Request ↩️ Lifecycle 1
@github-actions github-actions bot added this to the Backlog milestone Nov 7, 2024
@T-Gro T-Gro modified the milestones: Backlog, November-2024 Nov 7, 2024
@0101 0101 added Area-LSP Related to Language Server Protocol and removed Needs-Triage labels Nov 7, 2024
@0101 0101 self-assigned this Nov 7, 2024
@T-Gro T-Gro added Area-LSP Related to Language Server Protocol and removed Area-LSP Related to Language Server Protocol labels Nov 8, 2024
This was linked to pull requests Nov 27, 2024
[LSP] phase 1 endpoints, dependency updates #18071
Closed
[LSP] phase 1 endpoints, dependency updates #18087
Merged
@0101
Copy link
Contributor Author

0101 commented Dec 4, 2024

Deferring logTrace and setTrace to #18070. They don't seem particularly useful at the moment.

@0101 0101 closed this as completed Dec 4, 2024
@T-Gro T-Gro reopened this Apr 1, 2025
@T-Gro T-Gro modified the milestones: November-2024, April 2025 Apr 1, 2025
@T-Gro T-Gro assigned T-Gro and unassigned 0101 Apr 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@T-Gro T-Gro

Labels
Area-LSP Related to Language Server Protocol
Projects
F# Compiler and Tooling
Archived in project
Milestone
April 2025
2 participants
@0101 @T-Gro