Request textDocument/completion failed in IDE #5357
Labels
during 1: program development
Bad error message or documentation; IDE bug; crash compiling invalid program
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
priority: next
Will consider working on this after in progress work is done
The text was updated successfully, but these errors were encountered: