Make PublishDiagnostics optional

sharpSteff · baronfel · commit e002cd139e4e · 2023-04-04T08:15:30.000-05:00
diff --git a/src/Types.fs b/src/Types.fs
@@ -777,7 +777,7 @@ type TextDocumentClientCapabilities =
   { Synchronization: SynchronizationCapabilities option
 
     /// Capabilities specific to `textDocument/publishDiagnostics`.
-    PublishDiagnostics: PublishDiagnosticsCapabilities
+    PublishDiagnostics: PublishDiagnosticsCapabilities option
 
     /// Capabilities specific to the `textDocument/completion`
     Completion: CompletionCapabilities option
diff --git a/tests/Benchmarks.fs b/tests/Benchmarks.fs
@@ -412,7 +412,7 @@ type MultipleTypesBenchmarks() =
                         WillSave = Some true
                         WillSaveWaitUntil = Some false
                         DidSave = Some true }
-                  PublishDiagnostics = { RelatedInformation = None; TagSupport = None }
+                  PublishDiagnostics = Some { RelatedInformation = None; TagSupport = None }
                   Completion = None
                   Hover =
                     Some
