search

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)
https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy
MIT License
18 stars 12 forks source link

Key not found #55

Open theodore-norvell opened 4 years ago

theodore-norvell commented 4 years ago

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.

fabianhauser commented 4 years ago

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.