From b7bac01ce68d16c0c6067128975cdf876cf7678a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ra=C3=BAl=20Ferr=C3=A0s?= <raulferras@gmail.com>
Date: Tue, 3 Dec 2024 20:55:29 +0100
Subject: [PATCH] Convert file path to uri so clearing issues do not fail in
 Windows. Addresses #89 and #83

---
 server/internal/lsp/server/Diagnostics.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/internal/lsp/server/Diagnostics.go b/server/internal/lsp/server/Diagnostics.go
index 4ceccb8..2bf2cde 100644
--- a/server/internal/lsp/server/Diagnostics.go
+++ b/server/internal/lsp/server/Diagnostics.go
@@ -43,7 +43,7 @@ func (s *Server) RunDiagnostics(state *project_state.ProjectState, notify glsp.N
 				s.state.RemoveDocumentDiagnostics(k)
 				notify(protocol.ServerTextDocumentPublishDiagnostics,
 					protocol.PublishDiagnosticsParams{
-						URI:         k,
+						URI:         fs.ConvertPathToURI(k, s.options.C3.StdlibPath),
 						Diagnostics: []protocol.Diagnostic{},
 					})
 			}