Created
March 3, 2025 18:35
-
-
Save mdiin/90e51bbb71aa9afb5284c1ebaeea5d14 to your computer and use it in GitHub Desktop.
Transcript of a single-file Flix project that demonstrates request timeouts with Emacs' eglot LSP client.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [jsonrpc] D[19:30:16.700] Running language server: java -jar /var/home/matthias/.config/emacs/flix/v0.58.0/flix.jar lsp | |
| [jsonrpc] e[19:30:16.701] --> initialize[1] {"jsonrpc":"2.0","id":1,"method":"initialize","params":{"processId":769278,"clientInfo":{"name":"Eglot","version":"1.18"},"rootPath":"/var/home/matthias/Projekter/Flix/test/","rootUri":"file:///var/home/matthias/Projekter/Flix/test","initializationOptions":{},"capabilities":{"workspace":{"applyEdit":true,"executeCommand":{"dynamicRegistration":false},"workspaceEdit":{"documentChanges":true},"didChangeWatchedFiles":{"dynamicRegistration":true},"symbol":{"dynamicRegistration":false},"configuration":true,"workspaceFolders":true},"textDocument":{"synchronization":{"dynamicRegistration":false,"willSave":true,"willSaveWaitUntil":true,"didSave":true},"completion":{"dynamicRegistration":false,"completionItem":{"snippetSupport":false,"deprecatedSupport":true,"resolveSupport":{"properties":["documentation","details","additionalTextEdits"]},"tagSupport":{"valueSet":[1]},"insertReplaceSupport":true},"contextSupport":true},"hover":{"dynamicRegistration":false,"contentFormat":["markdown","plaintext"]},"signatureHelp":{"dynamicRegistration":false,"signatureInformation":{"parameterInformation":{"labelOffsetSupport":true},"documentationFormat":["markdown","plaintext"],"activeParameterSupport":true}},"references":{"dynamicRegistration":false},"definition":{"dynamicRegistration":false,"linkSupport":true},"declaration":{"dynamicRegistration":false,"linkSupport":true},"implementation":{"dynamicRegistration":false,"linkSupport":true},"typeDefinition":{"dynamicRegistration":false,"linkSupport":true},"documentSymbol":{"dynamicRegistration":false,"hierarchicalDocumentSymbolSupport":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]}},"documentHighlight":{"dynamicRegistration":false},"codeAction":{"dynamicRegistration":false,"resolveSupport":{"properties":["edit","command"]},"dataSupport":true,"codeActionLiteralSupport":{"codeActionKind":{"valueSet":["quickfix","refactor","refactor.extract","refactor.inline","refactor.rewrite","source","source.organizeImports"]}},"isPreferredSupport":true},"formatting":{"dynamicRegistration":false},"rangeFormatting":{"dynamicRegistration":false},"rename":{"dynamicRegistration":false},"inlayHint":{"dynamicRegistration":false},"publishDiagnostics":{"relatedInformation":false,"codeDescriptionSupport":false,"tagSupport":{"valueSet":[1,2]}}},"window":{"showDocument":{"support":true},"workDoneProgress":true},"general":{"positionEncodings":["utf-32","utf-8","utf-16"]},"experimental":{}},"workspaceFolders":[{"uri":"file:///var/home/matthias/Projekter/Flix/test","name":"~/Projekter/Flix/test/"}]}} | |
| [stderr] Starting Default LSP Server... | |
| [stderr] connect to the client | |
| [stderr] initialize: InitializeParams [ | |
| [stderr] workDoneToken = null | |
| [stderr] processId = 769278 | |
| [stderr] rootPath = "/var/home/matthias/Projekter/Flix/test/" | |
| [stderr] rootUri = "file:///var/home/matthias/Projekter/Flix/test" | |
| [stderr] initializationOptions = {} | |
| [stderr] capabilities = ClientCapabilities [ | |
| [stderr] workspace = WorkspaceClientCapabilities [ | |
| [stderr] applyEdit = true | |
| [stderr] workspaceEdit = WorkspaceEditCapabilities [ | |
| [stderr] documentChanges = true | |
| [stderr] resourceOperations = null | |
| [stderr] failureHandling = null | |
| [stderr] normalizesLineEndings = null | |
| [stderr] changeAnnotationSupport = null | |
| [stderr] ] | |
| [stderr] didChangeConfiguration = null | |
| [stderr] didChangeWatchedFiles = DidChangeWatchedFilesCapabilities [ | |
| [stderr] relativePatternSupport = null | |
| [stderr] dynamicRegistration = true | |
| [stderr] ] | |
| [stderr] symbol = SymbolCapabilities [ | |
| [stderr] symbolKind = null | |
| [stderr] tagSupport = null | |
| [stderr] resolveSupport = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] executeCommand = ExecuteCommandCapabilities [ | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] workspaceFolders = true | |
| [stderr] configuration = true | |
| [stderr] semanticTokens = null | |
| [stderr] codeLens = null | |
| [stderr] fileOperations = null | |
| [stderr] inlayHint = null | |
| [stderr] inlineValue = null | |
| [stderr] diagnostics = null | |
| [stderr] ] | |
| [stderr] textDocument = TextDocumentClientCapabilities [ | |
| [stderr] synchronization = SynchronizationCapabilities [ | |
| [stderr] willSave = true | |
| [stderr] willSaveWaitUntil = true | |
| [stderr] didSave = true | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] completion = CompletionCapabilities [ | |
| [stderr] completionItem = CompletionItemCapabilities [ | |
| [stderr] snippetSupport = false | |
| [stderr] commitCharactersSupport = null | |
| [stderr] documentationFormat = null | |
| [stderr] deprecatedSupport = true | |
| [stderr] preselectSupport = null | |
| [stderr] tagSupport = CompletionItemTagSupportCapabilities [ | |
| [stderr] valueSet = ArrayList ( | |
| [stderr] Deprecated | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] insertReplaceSupport = true | |
| [stderr] resolveSupport = CompletionItemResolveSupportCapabilities [ | |
| [stderr] properties = ArrayList ( | |
| [stderr] "documentation", | |
| [stderr] "details", | |
| [stderr] "additionalTextEdits" | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] insertTextModeSupport = null | |
| [stderr] labelDetailsSupport = null | |
| [stderr] ] | |
| [stderr] completionItemKind = null | |
| [stderr] contextSupport = true | |
| [stderr] insertTextMode = null | |
| [stderr] completionList = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] hover = HoverCapabilities [ | |
| [stderr] contentFormat = ArrayList ( | |
| [stderr] "markdown", | |
| [stderr] "plaintext" | |
| [stderr] ) | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] signatureHelp = SignatureHelpCapabilities [ | |
| [stderr] signatureInformation = SignatureInformationCapabilities [ | |
| [stderr] documentationFormat = ArrayList ( | |
| [stderr] "markdown", | |
| [stderr] "plaintext" | |
| [stderr] ) | |
| [stderr] parameterInformation = ParameterInformationCapabilities [ | |
| [stderr] labelOffsetSupport = true | |
| [stderr] ] | |
| [stderr] activeParameterSupport = true | |
| [stderr] ] | |
| [stderr] contextSupport = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] references = ReferencesCapabilities [ | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] documentHighlight = DocumentHighlightCapabilities [ | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] documentSymbol = DocumentSymbolCapabilities [ | |
| [stderr] symbolKind = SymbolKindCapabilities [ | |
| [stderr] valueSet = ArrayList ( | |
| [stderr] File, | |
| [stderr] Module, | |
| [stderr] Namespace, | |
| [stderr] Package, | |
| [stderr] Class, | |
| [stderr] Method, | |
| [stderr] Property, | |
| [stderr] Field, | |
| [stderr] Constructor, | |
| [stderr] Enum, | |
| [stderr] Interface, | |
| [stderr] Function, | |
| [stderr] Variable, | |
| [stderr] Constant, | |
| [stderr] String, | |
| [stderr] Number, | |
| [stderr] Boolean, | |
| [stderr] Array, | |
| [stderr] Object, | |
| [stderr] Key, | |
| [stderr] Null, | |
| [stderr] EnumMember, | |
| [stderr] Struct, | |
| [stderr] Event, | |
| [stderr] Operator, | |
| [stderr] TypeParameter | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] hierarchicalDocumentSymbolSupport = true | |
| [stderr] tagSupport = null | |
| [stderr] labelSupport = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] formatting = FormattingCapabilities [ | |
| [stderr] formatting = FormattingCapabilities [ | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] rangeFormatting = RangeFormattingCapabilities [ | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] onTypeFormatting = null | |
| [stderr] declaration = DeclarationCapabilities [ | |
| [stderr] linkSupport = true | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] definition = DefinitionCapabilities [ | |
| [stderr] linkSupport = true | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] typeDefinition = TypeDefinitionCapabilities [ | |
| [stderr] linkSupport = true | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] implementation = ImplementationCapabilities [ | |
| [stderr] linkSupport = true | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] codeAction = CodeActionCapabilities [ | |
| [stderr] codeActionLiteralSupport = CodeActionLiteralSupportCapabilities [ | |
| [stderr] codeActionKind = CodeActionKindCapabilities [ | |
| [stderr] valueSet = ArrayList ( | |
| [stderr] "quickfix", | |
| [stderr] "refactor", | |
| [stderr] "refactor.extract", | |
| [stderr] "refactor.inline", | |
| [stderr] "refactor.rewrite", | |
| [stderr] "source", | |
| [stderr] "source.organizeImports" | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] ] | |
| [stderr] isPreferredSupport = true | |
| [stderr] disabledSupport = null | |
| [stderr] dataSupport = true | |
| [stderr] resolveSupport = CodeActionResolveSupportCapabilities [ | |
| [stderr] properties = ArrayList ( | |
| [stderr] "edit", | |
| [stderr] "command" | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] honorsChangeAnnotations = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] codeLens = null | |
| [stderr] documentLink = null | |
| [stderr] colorProvider = null | |
| [stderr] rename = RenameCapabilities [ | |
| [stderr] prepareSupport = null | |
| [stderr] prepareSupportDefaultBehavior = null | |
| [stderr] honorsChangeAnnotations = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] publishDiagnostics = PublishDiagnosticsCapabilities [ | |
| [stderr] relatedInformation = false | |
| [stderr] tagSupport = Either [ | |
| [stderr] left = null | |
| [stderr] right = DiagnosticsTagSupport [ | |
| [stderr] valueSet = ArrayList ( | |
| [stderr] Unnecessary, | |
| [stderr] Deprecated | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] ] | |
| [stderr] versionSupport = null | |
| [stderr] codeDescriptionSupport = false | |
| [stderr] dataSupport = null | |
| [stderr] ] | |
| [stderr] foldingRange = null | |
| [stderr] typeHierarchy = null | |
| [stderr] callHierarchy = null | |
| [stderr] selectionRange = null | |
| [stderr] semanticTokens = null | |
| [stderr] moniker = null | |
| [stderr] linkedEditingRange = null | |
| [stderr] inlayHint = InlayHintCapabilities [ | |
| [stderr] resolveSupport = null | |
| [stderr] dynamicRegistration = false | |
| [stderr] ] | |
| [stderr] inlineValue = null | |
| [stderr] diagnostic = null | |
| [stderr] ] | |
| [stderr] notebookDocument = null | |
| [stderr] window = WindowClientCapabilities [ | |
| [stderr] workDoneProgress = true | |
| [stderr] showMessage = null | |
| [stderr] showDocument = ShowDocumentCapabilities [ | |
| [stderr] support = true | |
| [stderr] ] | |
| [stderr] ] | |
| [stderr] general = GeneralClientCapabilities [ | |
| [stderr] regularExpressions = null | |
| [stderr] markdown = null | |
| [stderr] staleRequestSupport = null | |
| [stderr] positionEncodings = ArrayList ( | |
| [stderr] "utf-32", | |
| [stderr] "utf-8", | |
| [stderr] "utf-16" | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] experimental = {} | |
| [stderr] ] | |
| [stderr] clientInfo = ClientInfo [ | |
| [stderr] name = "Eglot" | |
| [stderr] version = "1.18" | |
| [stderr] ] | |
| [stderr] locale = null | |
| [stderr] trace = null | |
| [stderr] workspaceFolders = ArrayList ( | |
| [stderr] WorkspaceFolder [ | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test" | |
| [stderr] name = "~/Projekter/Flix/test/" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:17.127] <-- initialize[1] {"jsonrpc":"2.0","id":1,"result":{"capabilities":{"textDocumentSync":1,"hoverProvider":true,"completionProvider":{"resolveProvider":true,"triggerCharacters":["#",".","/","?"]},"definitionProvider":true,"implementationProvider":true,"referencesProvider":true,"documentHighlightProvider":true,"documentSymbolProvider":true,"workspaceSymbolProvider":true,"codeActionProvider":true,"codeLensProvider":{"resolveProvider":true},"renameProvider":{"prepareProvider":false},"semanticTokensProvider":{"legend":{"tokenTypes":["namespace","type","class","enum","interface","struct","typeParameter","parameter","variable","property","enumMember","event","function","method","macro","keyword","modifier","comment","string","number","regexp","operator","decorator"],"tokenModifiers":["declaration","definition","readonly","static","deprecated","abstract","async","modification","documentation","defaultLibrary"]},"full":true}}}} | |
| [jsonrpc] e[19:30:17.127] --> initialized {"jsonrpc":"2.0","method":"initialized","params":{}} | |
| [jsonrpc] e[19:30:17.127] --> textDocument/didOpen {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":0,"languageId":"flix","text":"def main(): Unit \\ IO =\n println(\"Yes!\")\n"}}} | |
| [jsonrpc] e[19:30:17.128] --> workspace/didChangeConfiguration {"jsonrpc":"2.0","method":"workspace/didChangeConfiguration","params":{"settings":{}}} | |
| [stderr] didOpen: DidOpenTextDocumentParams [ | |
| [stderr] textDocument = TextDocumentItem [ | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] languageId = "flix" | |
| [stderr] version = 0 | |
| [stderr] text = "def main(): Unit \ IO =\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ] | |
| [stderr] didChangeConfiguration: DidChangeConfigurationParams [ | |
| [stderr] settings = {} | |
| [stderr] ] | |
| [jsonrpc] e[19:30:43.294] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":1},"contentChanges":[{"text":"def main(): Unit \\ IO =\n\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:43.294] --> textDocument/semanticTokens/full[2] {"jsonrpc":"2.0","id":2,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 1 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\n\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:43.611] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":2},"contentChanges":[{"text":"def main(): Unit \\ IO =\nl\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:43.611] --> textDocument/semanticTokens/full[3] {"jsonrpc":"2.0","id":3,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 2 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nl\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:44.113] --> textDocument/semanticTokens/full[4] {"jsonrpc":"2.0","id":4,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:49.577] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":3},"contentChanges":[{"text":"def main(): Unit \\ IO =\nle\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:49.577] --> textDocument/semanticTokens/full[5] {"jsonrpc":"2.0","id":5,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 3 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nle\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:49.670] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":4},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:49.670] --> textDocument/semanticTokens/full[6] {"jsonrpc":"2.0","id":6,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 4 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:50.172] --> textDocument/semanticTokens/full[7] {"jsonrpc":"2.0","id":7,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:50.385] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":5},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet \n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:50.385] --> textDocument/semanticTokens/full[8] {"jsonrpc":"2.0","id":8,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 5 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet \n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:50.886] --> textDocument/semanticTokens/full[9] {"jsonrpc":"2.0","id":9,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:51.829] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":6},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet f\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:51.829] --> textDocument/semanticTokens/full[10] {"jsonrpc":"2.0","id":10,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 6 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet f\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:52.071] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":7},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet fo\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:52.071] --> textDocument/semanticTokens/full[11] {"jsonrpc":"2.0","id":11,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 7 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet fo\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:52.256] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":8},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:52.256] --> textDocument/semanticTokens/full[12] {"jsonrpc":"2.0","id":12,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 8 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:52.757] --> textDocument/semanticTokens/full[13] {"jsonrpc":"2.0","id":13,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:52.803] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":9},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo \n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:52.803] --> textDocument/semanticTokens/full[14] {"jsonrpc":"2.0","id":14,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 9 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo \n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:53.119] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":10},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo =\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:53.119] --> textDocument/semanticTokens/full[15] {"jsonrpc":"2.0","id":15,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:53.122] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":11},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:53.122] --> textDocument/semanticTokens/full[16] {"jsonrpc":"2.0","id":16,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 10 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo =\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 11 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = \n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:30:53.299] [2] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:30:53.612] [3] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:30:53.623] --> textDocument/semanticTokens/full[17] {"jsonrpc":"2.0","id":17,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:53.748] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":12},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"\"\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:53.748] --> textDocument/semanticTokens/full[18] {"jsonrpc":"2.0","id":18,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 12 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = ""\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:30:54.113] [4] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:30:54.249] --> textDocument/semanticTokens/full[19] {"jsonrpc":"2.0","id":19,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:54.748] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":13},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"f\"\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:54.748] --> textDocument/semanticTokens/full[20] {"jsonrpc":"2.0","id":20,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 13 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "f"\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:54.971] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":14},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"fo\"\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:54.971] --> textDocument/semanticTokens/full[21] {"jsonrpc":"2.0","id":21,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 14 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "fo"\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:55.158] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":15},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:55.158] --> textDocument/semanticTokens/full[22] {"jsonrpc":"2.0","id":22,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 15 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:55.659] --> textDocument/semanticTokens/full[23] {"jsonrpc":"2.0","id":23,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:57.539] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":16},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\" \n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:57.540] --> textDocument/semanticTokens/full[24] {"jsonrpc":"2.0","id":24,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 16 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo" \n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:58.041] --> textDocument/semanticTokens/full[25] {"jsonrpc":"2.0","id":25,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:30:58.193] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":17},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\" \n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:58.193] --> textDocument/semanticTokens/full[26] {"jsonrpc":"2.0","id":26,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 17 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo" \n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:58.539] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":18},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Yes!\")\n"}]}} | |
| [jsonrpc] e[19:30:58.539] --> textDocument/semanticTokens/full[27] {"jsonrpc":"2.0","id":27,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 18 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Yes!")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:30:59.040] --> textDocument/semanticTokens/full[28] {"jsonrpc":"2.0","id":28,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] i[19:30:59.578] [5] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:30:59.671] [6] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:00.172] [7] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:00.385] [8] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:31:00.839] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":19},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Yes!)\n"}]}} | |
| [jsonrpc] e[19:31:00.839] --> textDocument/semanticTokens/full[29] {"jsonrpc":"2.0","id":29,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 19 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Yes!)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:31:00.886] [9] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:31:01.013] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":20},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Yes)\n"}]}} | |
| [jsonrpc] e[19:31:01.013] --> textDocument/semanticTokens/full[30] {"jsonrpc":"2.0","id":30,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 20 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Yes)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:31:01.190] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":21},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Ye)\n"}]}} | |
| [jsonrpc] e[19:31:01.190] --> textDocument/semanticTokens/full[31] {"jsonrpc":"2.0","id":31,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 21 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Ye)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:31:01.351] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":22},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\"Y)\n"}]}} | |
| [jsonrpc] e[19:31:01.351] --> textDocument/semanticTokens/full[32] {"jsonrpc":"2.0","id":32,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 22 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println("Y)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:31:01.534] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":23},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(\")\n"}]}} | |
| [jsonrpc] e[19:31:01.534] --> textDocument/semanticTokens/full[33] {"jsonrpc":"2.0","id":33,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 23 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println(")\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:31:01.829] [10] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:31:01.860] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":24},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println()\n"}]}} | |
| [jsonrpc] e[19:31:01.860] --> textDocument/semanticTokens/full[34] {"jsonrpc":"2.0","id":34,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 24 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println()\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:31:02.072] [11] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:02.257] [12] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:31:02.280] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":25},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(f)\n"}]}} | |
| [jsonrpc] e[19:31:02.280] --> textDocument/semanticTokens/full[35] {"jsonrpc":"2.0","id":35,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 25 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println(f)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:31:02.607] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":26},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(fo)\n"}]}} | |
| [jsonrpc] e[19:31:02.607] --> textDocument/semanticTokens/full[36] {"jsonrpc":"2.0","id":36,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 26 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println(fo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:31:02.758] [13] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:31:02.780] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":27},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\"\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:31:02.780] --> textDocument/semanticTokens/full[37] {"jsonrpc":"2.0","id":37,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 27 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo"\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] i[19:31:02.803] [14] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:03.120] [15] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:03.127] [16] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:03.623] [17] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:03.752] [18] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:04.249] [19] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:04.748] [20] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:04.972] [21] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:05.159] [22] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:05.659] [23] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:07.540] [24] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:08.041] [25] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:08.193] [26] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:08.539] [27] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:09.041] [28] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:10.840] [29] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:11.013] [30] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:11.190] [31] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:11.351] [32] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:11.534] [33] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:11.860] [34] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:12.281] [35] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:12.608] [36] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:31:12.781] [37] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] e[19:32:05.070] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":28},"contentChanges":[{"text":"def main(): Unit \\ IO =\nlet foo = \"foo\";\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:32:05.070] --> textDocument/semanticTokens/full[38] {"jsonrpc":"2.0","id":38,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 28 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\nlet foo = "foo";\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:32:05.572] --> textDocument/semanticTokens/full[39] {"jsonrpc":"2.0","id":39,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] e[19:32:06.567] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":29},"contentChanges":[{"text":"def main(): Unit \\ IO =\n let foo = \"foo\";\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:32:06.567] --> textDocument/semanticTokens/full[40] {"jsonrpc":"2.0","id":40,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 29 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\n let foo = "foo";\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:32:06.758] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":30},"contentChanges":[{"text":"def main(): Unit \\ IO =\n let foo = \"foo\";\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:32:06.758] --> textDocument/semanticTokens/full[41] {"jsonrpc":"2.0","id":41,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 30 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\n let foo = "foo";\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:32:06.941] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":31},"contentChanges":[{"text":"def main(): Unit \\ IO =\n let foo = \"foo\";\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:32:06.941] --> textDocument/semanticTokens/full[42] {"jsonrpc":"2.0","id":42,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 31 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\n let foo = "foo";\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:32:07.181] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix","version":32},"contentChanges":[{"text":"def main(): Unit \\ IO =\n let foo = \"foo\";\n println(foo)\n"}]}} | |
| [jsonrpc] e[19:32:07.181] --> textDocument/semanticTokens/full[43] {"jsonrpc":"2.0","id":43,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [stderr] didChange: DidChangeTextDocumentParams [ | |
| [stderr] textDocument = VersionedTextDocumentIdentifier [ | |
| [stderr] version = 32 | |
| [stderr] uri = "file:///var/home/matthias/Projekter/Flix/test/src/Test.flix" | |
| [stderr] ] | |
| [stderr] contentChanges = ArrayList ( | |
| [stderr] TextDocumentContentChangeEvent [ | |
| [stderr] range = null | |
| [stderr] rangeLength = null | |
| [stderr] text = "def main(): Unit \ IO =\n let foo = "foo";\n println(foo)\n" | |
| [stderr] ] | |
| [stderr] ) | |
| [stderr] ] | |
| [jsonrpc] e[19:32:07.683] --> textDocument/semanticTokens/full[44] {"jsonrpc":"2.0","id":44,"method":"textDocument/semanticTokens/full","params":{"textDocument":{"uri":"file:///var/home/matthias/Projekter/Flix/test/src/Test.flix"}}} | |
| [jsonrpc] i[19:32:15.075] [38] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:15.572] [39] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:16.568] [40] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:16.759] [41] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:16.942] [42] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:17.182] [43] timed-out request ':textDocument/semanticTokens/full' | |
| [jsonrpc] i[19:32:17.683] [44] timed-out request ':textDocument/semanticTokens/full' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment