feat: support pull diagnostics in the LSP client (C#, Kotlin, etc) (#23771)

This commit is contained in:
Luke Parker
2026-04-23 09:24:11 +10:00
committed by Aiden Cline
parent 58db41b4b9
commit e383df4b17
12 changed files with 1123 additions and 121 deletions

View File

@@ -23,8 +23,7 @@ const DiagnosticsCommand = cmd({
const out = await AppRuntime.runPromise(
LSP.Service.use((lsp) =>
Effect.gen(function* () {
yield* lsp.touchFile(args.file, true)
yield* Effect.sleep(1000)
yield* lsp.touchFile(args.file, "full")
return yield* lsp.diagnostics()
}),
),