Untitled diff

Created Diff never expires
8 removals
Lines
Total1
Removed-100.0%1
Words
Total99
Removed-13.1%13
1 line
9 additions
Lines
Total1
Added+100.0%1
Words
Total97
Added+11.3%11
1 line
[DEBUG][2023-10-31 14:31:44] .../vim/lsp/rpc.lua:347 "rpc.send" { id = 2, jsonrpc = "2.0", method = "textDocument/codeAction", params = { context = { diagnostics = { { code = "-Wunused-imports", message = "The import of ‘generateDebugUI’\nfrom module ‘DebugInfoScreen’ is redundant", range = { end = { character = 53, line = 8 }, start = { character = 38, line = 8 } }, severity = 2, source = "typecheck", tags = { 1 } } } }, range = { end = <1>{ character = 0, line = 8 }, start = <table 1> }, textDocument = { uri = "file:///Users/axis/dev/ultimate/src/Program/IODriver.hs" } }}
[DEBUG][2023-10-31 14:45:44] .../vim/lsp/rpc.lua:284 "rpc.send" { id = 9, jsonrpc = "2.0", method = "textDocument/codeAction", params = { context = { diagnostics = { { code = "-Wunused-imports", message = "The import of ‘generateDebugUI’\nfrom module ‘DebugInfoScreen’ is redundant", range = { ["end"] = { character = 53, line = 8 }, start = { character = 38, line = 8 } }, severity = 2, source = "typecheck" } }, triggerKind = 1 }, range = { ["end"] = <1>{ character = 5, line = 8 }, start = <table 1> }, textDocument = { uri = "file:///Users/axis/dev/ultimate/src/Program/IODriver.hs" } }}