Hi, I am facing some issues with VSCode. It seems to only occur when I rapidly copy and paste text from a Daml file to somewhere else in the same file, or I cut text and then quickly save the file. I am only using the standard keyboard shortcuts to do the cut/copy/paste/save (not the mouse). Note - this is on Linux, Daml SDK version 2.6, VS Code 1.79.2. The following error appears in the output:
2023-06-20 05:17:33.13 [ERROR] [LanguageServer] Unexpected exception on request, please report! Exception: Error when running Shake build system: BadDependency "GetDependencies" [Error - 15:17:33] Request textDocument/definition failed. Message: Error when running Shake build system: BadDependency "GetDependencies"
The error doesn’t seem to be consistent so it’s hard to reproduce, but it happens quite often to me.