purescript-language-server icon indicating copy to clipboard operation
purescript-language-server copied to clipboard

Published 20 hours ago • verified publisher icon nwolverson

Stale errors/warnings stick around after a full build

Open natefaubion opened this issue 7 months ago • 0 comments

On 0.26.3, my usual steps to reproduce involve git checkout workflows:

  • Open a git project in VSCode
  • Save a file in the editor that results in an error or warning
  • git checkout .
  • Initiate a full build in the editor with cmd+shift+b
  • Project builds OK but errors and warnings stick around.

In order to get rid of the error I have to go to the file and resave it. In the case of a file that no longer exists, I have to reload the workspace in VScode.

natefaubion avatar Dec 14 '23 00:12 natefaubion