fixup! report pretty as soon as results are available

Author: lewis6991

script/cli/check_worker.lua

@@ -55,48 +55,51 @@ local severity_str = {
     [4] = 'hint'
 }
 
-local function report_pretty(results)
-    for f, diags in pairs(results) do
-        local path = furi.relpath(furi.decode(f))
-
-        local lines = {} --- @type string[]
-        pcall(function()
-            for line in io.lines(path) do
-                table.insert(lines, line)
-            end
-        end)
+local function report_pretty(uri, diags)
+    local path = furi.relpath(furi.decode(uri))
+
+    local lines = {} --- @type string[]
+    pcall(function()
+        for line in io.lines(path) do
+            table.insert(lines, line)
+        end
+    end)
 
-        for _, d in ipairs(diags) do
-            local rstart = d.range.start
-            local rend = d.range['end']
-            print(
-                ('%s%s:%s:%s%s [%s%s%s] %s %s(%s)%s'):format(
-                    colors.blue,
-                    path,
-                    rstart.line,
-                    rstart.character,
-                    colors.reset,
-                    severity_colors[d.severity],
-                    severity_str[d.severity],
-                    colors.reset,
-                    d.message,
-                    colors.magenta,
-                    d.code,
-                    colors.reset
-                )
+    for _, d in ipairs(diags) do
+        local rstart = d.range.start
+        local rend = d.range['end']
+        print(
+            ('%s%s:%s:%s%s [%s%s%s] %s %s(%s)%s'):format(
+                colors.blue,
+                path,
+                rstart.line,
+                rstart.character,
+                colors.reset,
+                severity_colors[d.severity],
+                severity_str[d.severity],
+                colors.reset,
+                d.message,
+                colors.magenta,
+                d.code,
+                colors.reset
             )
-            if #lines > 0 then
-                io.write('    ', lines[rstart.line + 1], '\n')
-                io.write('    ', colors.grey, (' '):rep(rstart.character), '^')
-                if rstart.line == rend.line then
-                    io.write(('^'):rep(rend.character - rstart.character - 1))
-                end
-                io.write(colors.reset, '\n')
+        )
+        if #lines > 0 then
+            io.write('    ', lines[rstart.line + 1], '\n')
+            io.write('    ', colors.grey, (' '):rep(rstart.character), '^')
+            if rstart.line == rend.line then
+                io.write(('^'):rep(rend.character - rstart.character - 1))
             end
+            io.write(colors.reset, '\n')
         end
     end
 end
 
+local function clear_line()
+    -- Write out empty space to ensure that the previous lien is cleared.
+    io.write('\x0D', (' '):rep(80), '\x0D')
+end
+
 function export.runCLI()
     lang(LOCALE)
 
@@ -145,6 +148,10 @@ function export.runCLI()
 
         client:register('textDocument/publishDiagnostics', function (params)
             results[params.uri] = params.diagnostics
+            if not QUIET and (CHECK_FORMAT == nil or CHECK_FORMAT == 'pretty') then
+                clear_line()
+                report_pretty(params.uri, params.diagnostics)
+            end
         end)
 
         if not QUIET then
@@ -214,8 +221,7 @@ function export.runCLI()
             end
         end
         if not QUIET then
-            -- Write out empty space to ensure that the progress bar is cleared.
-            io.write('\x0D', (' '):rep(80), '\x0D')
+            clear_line()
         end
     end)
 
@@ -229,10 +235,6 @@ function export.runCLI()
 
     local outpath = nil
 
-    if CHECK_FORMAT == nil or CHECK_FORMAT == 'pretty' then
-        report_pretty(results)
-    end
-
     if CHECK_FORMAT == 'json' or CHECK_OUT_PATH then
         outpath = CHECK_OUT_PATH or LOGPATH .. '/check.json'
         -- Always write result, even if it's empty to make sure no one accidentally looks at an old output after a successful run.