lsp: deleting files, deletes its diagnostics

Author: vknabel

CHANGELOG.md

@@ -5,6 +5,7 @@
 - lsp: fix jump to definition
 - lsp: fix multiline block comments
 - lsp: fix logging too many errors
+- lsp: deleting files, deletes its diagnostics
 - fix: extern docs generation
 - stdlib: new markup and markdown library
 - stdlib: better docs generation

examples/syntax.lithia renamed to examples/hello-world.lithia

@@ -8,6 +8,11 @@ import (
 
 func initialize(context *glsp.Context, params *protocol.InitializeParams) (interface{}, error) {
 	capabilities := handler.CreateServerCapabilities()
+	capabilities.Workspace.FileOperations.DidDelete.Filters = []protocol.FileOperationFilter{
+		{
+			Pattern: protocol.FileOperationPattern{Glob: "**/*.lithia"},
+		},
+	}
 	capabilities.CompletionProvider = &protocol.CompletionOptions{
 		TriggerCharacters: []string{"."},
 	}

langsrv/handler-initialize.go

@@ -0,0 +1,18 @@
+package langsrv
+
+import (
+	"github.com/tliron/glsp"
+	protocol "github.com/tliron/glsp/protocol_3_16"
+)
+
+func workspaceDidDeleteFiles(context *glsp.Context, params *protocol.DeleteFilesParams) error {
+	for _, deleted := range params.Files {
+		context.Notify(protocol.ServerTextDocumentPublishDiagnostics, protocol.PublishDiagnosticsParams{
+			URI:         deleted.URI,
+			Version:     nil,
+			Diagnostics: []protocol.Diagnostic{},
+		})
+		delete(langserver.documentCache.documents, deleted.URI)
+	}
+	return nil
+}

langsrv/handler-workspace-did-delete-files.go

@@ -1,6 +1,7 @@
 package langsrv
 
 import (
+	"github.com/tliron/glsp"
 	protocol "github.com/tliron/glsp/protocol_3_16"
 	"github.com/tliron/glsp/server"
 	"github.com/tliron/kutil/logging"
@@ -22,7 +23,7 @@ var langserver lithiaLangserver = lithiaLangserver{
 }
 
 func init() {
-	logging.Configure(1, nil)
+	logging.Configure(2, nil)
 
 	handler = protocol.Handler{
 		Initialize:  initialize,
@@ -32,6 +33,9 @@ func init() {
 
 		TextDocumentDidOpen:   textDocumentDidOpen,
 		TextDocumentDidChange: textDocumentDidChange,
+		TextDocumentDidClose:  func(context *glsp.Context, params *protocol.DidCloseTextDocumentParams) error { return nil },
+
+		WorkspaceDidDeleteFiles: workspaceDidDeleteFiles,
 
 		TextDocumentHover:          textDocumentHover,
 		TextDocumentCompletion:     textDocumentCompletion,