lsp: also show diagnostic note in client

moves-rwth · Jun 22, 2024 · a734b28 · a734b28
1 parent ff1961e
commit a734b28
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/src/ast/diagnostic.rs b/src/ast/diagnostic.rs
@@ -523,7 +523,7 @@ impl Diagnostic {
             .msg
             .clone()
             .unwrap_or_else(|| "(no message)".to_string());
-        let related_information = self
+        let mut related_information = self
             .0
             .labels
             .iter()
@@ -543,6 +543,15 @@ impl Diagnostic {
                 })
             })
             .collect::<Vec<_>>();
+        if let Some(note) = &self.0.note {
+            related_information.push(lsp_types::DiagnosticRelatedInformation {
+                location: lsp_types::Location {
+                    uri: document_id.uri.clone(),
+                    range,
+                },
+                message: format!("Note: {}", note),
+            })
+        }
         let diagnostic = lsp_types::Diagnostic {
             range,
             severity: Some(severity),