From 303cb7699fe341824d04bc8d5d6ec6917ad103ca Mon Sep 17 00:00:00 2001 From: Kirby Zhang Date: Fri, 24 Feb 2023 10:56:02 +0800 Subject: [PATCH 1/2] helps debug rare symbolserver issue --- src/languageserverinstance.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/languageserverinstance.jl b/src/languageserverinstance.jl index 751e9e38..9c6034d9 100644 --- a/src/languageserverinstance.jl +++ b/src/languageserverinstance.jl @@ -403,7 +403,7 @@ function Base.run(server::LanguageServerInstance) end end - @debug "starting re-lint of everything" + @debug "starting re-lint of everything" server.global_env.project_deps relintserver(server) @debug "re-lint done" @debug "Linting finished at $(round(Int, time()))" @@ -423,6 +423,7 @@ function relintserver(server) root = getroot(doc) if !(root in roots) push!(roots, root) + @debug "semantic pass" root semantic_pass(root) end end From 0bffe2af061c7922144655148fdc44adbd374b67 Mon Sep 17 00:00:00 2001 From: Kirby Zhang Date: Fri, 24 Feb 2023 10:56:02 +0800 Subject: [PATCH 2/2] helps debug rare symbolserver issue --- src/languageserverinstance.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/languageserverinstance.jl b/src/languageserverinstance.jl index 751e9e38..9c6034d9 100644 --- a/src/languageserverinstance.jl +++ b/src/languageserverinstance.jl @@ -403,7 +403,7 @@ function Base.run(server::LanguageServerInstance) end end - @debug "starting re-lint of everything" + @debug "starting re-lint of everything" server.global_env.project_deps relintserver(server) @debug "re-lint done" @debug "Linting finished at $(round(Int, time()))" @@ -423,6 +423,7 @@ function relintserver(server) root = getroot(doc) if !(root in roots) push!(roots, root) + @debug "semantic pass" root semantic_pass(root) end end