Skip to content

Instantly share code, notes, and snippets.

@mdiin
Created March 3, 2025 18:35
Show Gist options
  • Select an option

  • Save mdiin/90e51bbb71aa9afb5284c1ebaeea5d14 to your computer and use it in GitHub Desktop.

Select an option

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.
[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