From 37ae23bded997796c1963dbcb2fb2b90077a6391 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Mon, 1 Apr 2024 11:20:33 +0300 Subject: [PATCH] Reset diagnostics ONLY for modified modules --- rzk/src/Language/Rzk/VSCode/Handlers.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rzk/src/Language/Rzk/VSCode/Handlers.hs b/rzk/src/Language/Rzk/VSCode/Handlers.hs index 09695553b..35f13dae5 100644 --- a/rzk/src/Language/Rzk/VSCode/Handlers.hs +++ b/rzk/src/Language/Rzk/VSCode/Handlers.hs @@ -132,7 +132,7 @@ typecheckFromConfigFile = do -- Reset all published diags -- TODO: remove this after properly grouping by path below, after which there can be an empty list of errors -- TODO: handle clearing diagnostics for files that got removed from the project (rzk.yaml) - forM_ paths $ \path -> do + forM_ modifiedFiles $ \path -> do publishDiagnostics 0 (filePathToNormalizedUri path) Nothing (partitionBySource []) -- Report parse errors to the client