From 49b12a6cf9d933fb20cbfb83537d1d5fcf179a07 Mon Sep 17 00:00:00 2001 From: David Anthoff Date: Mon, 24 Nov 2025 22:24:15 -0800 Subject: [PATCH] Use more diagnostic fields --- src/testitem_diagnostic_marking.jl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/testitem_diagnostic_marking.jl b/src/testitem_diagnostic_marking.jl index 0008c85f..19e1df5e 100644 --- a/src/testitem_diagnostic_marking.jl +++ b/src/testitem_diagnostic_marking.jl @@ -88,16 +88,18 @@ function publish_diagnostics(server, jw_diagnostics_updated, jw_diagnostics_dele DiagnosticSeverities.Error elseif i.severity==:warning DiagnosticSeverities.Warning - elseif i.severity==:info + elseif i.severity==:information DiagnosticSeverities.Information + elseif i.severity==:hint + DiagnosticSeverities.Hint else error("Unknown severity $(i.severity)") end, missing, - missing, + i.uri === nothing ? missing : CodeDescription(i.uri), i.source, i.message, - missing, + length(i.tags)==0 ? missing : DiagnosticTag[j==:unnecessary ? DiagnosticTags.Unnecessary : j==:deprecated ? DiagnosticTags.Deprecated : error("Unknown tag $j") for j in i.tags], missing ) for i in new_diags) end