Key not found

[theodore-norvell]

I get the following error message from the Dafny Language Server.

key not found 
[Error - 7:54:41 PM] Request codeLens/resolve failed.
  Message: Could not resolve CodeLens: Key not Found
  Code: 9903

I'm not sure if this is a bug or just noise.

This is happening on both Windows and Mac with version 0.17.1. My VSCode version on the Mac is 1.41.1 and on Windows it's also 1.41.1.

[fabianhauser]

Hi @theodore-norvell , thanks for reporting this issue!

This is indeed a bug, most likely in the caching of the symbol table in the language server of the application. (Probably connected to #12.)
We are currently working on a reimplementation of the language server, so this will hopefully be resolved with the new version 🙂

I'll leave this issue open until the new language server is merged.