Dafny-VSCode icon indicating copy to clipboard operation
Dafny-VSCode copied to clipboard

Published 20 hours ago • verified publisher icon DafnyVSCode

Key not found

Open theodore-norvell opened this issue 5 years ago • 1 comments

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

image

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.

theodore-norvell avatar Jan 25 '20 01:01 theodore-norvell

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.

fabianhauser avatar Jan 26 '20 09:01 fabianhauser