Skip to content

Conversation

@keyboardDrummer
Copy link
Member

@keyboardDrummer keyboardDrummer commented Jul 7, 2025

Fixes #6300

What was changed?

  • Fix LSP bug that returned a invalid range for documentSymbol

How has this been tested?

  • Added an LSP test

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@keyboardDrummer keyboardDrummer enabled auto-merge (squash) July 7, 2025 09:54
@keyboardDrummer keyboardDrummer requested a review from robin-aws July 7, 2025 09:55
@keyboardDrummer keyboardDrummer merged commit 84569ed into dafny-lang:master Jul 8, 2025
46 of 48 checks passed
@keyboardDrummer keyboardDrummer deleted the invalidDocumentSymbolRange branch July 8, 2025 11:18
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.

Error "Request textDocument/documentSymbol failed"

2 participants