From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Troy Brown Newsgroups: gmane.emacs.bugs Subject: bug#74807: 30.0.90; Eglot: Non-Markdown strings rendered as Markdown Date: Thu, 12 Dec 2024 08:32:37 -0500 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18098"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 74807@debbugs.gnu.org, felician.nemeth@gmail.com To: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Dec 12 14:33:41 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tLjK0-0004PR-OM for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 12 Dec 2024 14:33:41 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tLjJS-00009s-OB; Thu, 12 Dec 2024 08:33:07 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tLjJQ-00009I-CZ for bug-gnu-emacs@gnu.org; Thu, 12 Dec 2024 08:33:04 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tLjJQ-0008LO-3Q for bug-gnu-emacs@gnu.org; Thu, 12 Dec 2024 08:33:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=Date:From:In-Reply-To:References:MIME-Version:To:Subject; bh=RNPxhv6rJ+aRZTZPb5OdQ1Rjn6U8GdwZaLiZVsFjVo4=; b=DhuqXv+WoUByh3TMwENUdJ169bQkak1Ku1g8P1bmMoVnl69SR3zivAATMTx1hFZZWcs2bJdb4Gr/2HYxCutW8cNXld+/rYqZ9b3jdbttqTLP3XhdF4HJLEb0+Wtf2wURFof4hU+XfUpdVFXamP+6ghjiXKdXAFrcjDkBvA06TxOASdGPsB0Gl2EGJJ8y7Kf9miR+Lj20hWpuUVII2j+cRIAcb/pdN2HhWdWJNcSwsNKi/G7paLjYC9JLbKEirxnOAC/NqVGNv4N/P7Bqe2P0YyGvaqSzRyYi7KFPt9aBZSe0KNhqHGWNJUPqTVUa+DxVq8MhIEjrkCJjVPntUzjuTA==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tLjJP-0000uN-IX for bug-gnu-emacs@gnu.org; Thu, 12 Dec 2024 08:33:03 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Troy Brown Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 12 Dec 2024 13:33:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 74807 X-GNU-PR-Package: emacs X-Debbugs-Original-Cc: "simon254--- via Bug reports for GNU Emacs, the Swiss army knife of text editors" , Felician Nemeth Original-Received: via spool by submit@debbugs.gnu.org id=B.17340103783463 (code B ref -1); Thu, 12 Dec 2024 13:33:03 +0000 Original-Received: (at submit) by debbugs.gnu.org; 12 Dec 2024 13:32:58 +0000 Original-Received: from localhost ([127.0.0.1]:38199 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tLjJJ-0000tk-LK for submit@debbugs.gnu.org; Thu, 12 Dec 2024 08:32:58 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:39328) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tLjJH-0000tc-3b for submit@debbugs.gnu.org; Thu, 12 Dec 2024 08:32:56 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tLjJG-00008U-U7 for bug-gnu-emacs@gnu.org; Thu, 12 Dec 2024 08:32:54 -0500 Original-Received: from mail-ed1-f42.google.com ([209.85.208.42]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tLjJE-0008JS-BL for bug-gnu-emacs@gnu.org; Thu, 12 Dec 2024 08:32:54 -0500 Original-Received: by mail-ed1-f42.google.com with SMTP id 4fb4d7f45d1cf-5d3d143376dso868489a12.3 for ; Thu, 12 Dec 2024 05:32:51 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734010371; x=1734615171; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=RNPxhv6rJ+aRZTZPb5OdQ1Rjn6U8GdwZaLiZVsFjVo4=; b=L/9y/DWXvmwY5eW4THO/4FIEgQCLhTK4tjEbOtNzmJdSl/gh+/fS5jspma25cKxoUP f7RPEk5bYa+QMzpPjO51cqL5q5FOFjuAMw3MNMCWECfMlwPH6wkTLwg79DBiCwscuYmN 7IHoN+XCpBToY4RCdPJNFu31yGHAGFXtNfkmi+8uBC8GnzGuUVwOjeFD1eeUp9TBx6Qj zT7YnLzafzO9wN+buCrS/5tteTRDBKzMEyrYydQPp5auEDsyMqWrqB3bgF9M7kAb0QIc 2GfS/2YtcfpELPToeqkyig5tgwHbDV6XFDYKhm3uGRIwphT47CV488D2HPnTXTXeeB+7 WzwQ== X-Gm-Message-State: AOJu0YxBKmr7abMyGbCU2J4No6wcEkAZw4ZMXvADtkvEP3GSD7Ygku2M sgz/b3ickUHgCLOsW54CLzyH/Sb0rd5hqu4wWD70dl3vXLVNzZ0HRZxvpm1IFHs= X-Gm-Gg: ASbGncvZEbrKTeWJ2C9JJZCV/mfIgxf0afNroSdnRa9pY0dODxsGPvfDu74X+g6L5Y0 KbNXOHw0a5RSu1cu7T30X/zWJzb1PRbwXVxHUWXzb1LWob6nEWyjh6V3Gn+IAYUigQbokmfR5LB SAhdvFe1Zg5aBWQTe9nays56cGtTdK82LyZsR247hrYJaQMnYEZrLwOJCE8W592DiIosKAdRvvk 4uyAftcwQWFlE6i8qdNgb1YXIgCIPCnJ6N8x6P5v7smrUmBsDgZLZ3rwuYu106w3j1CjUzPx1WO /LPBAJz594Y5B3mZ/b6h X-Google-Smtp-Source: AGHT+IHL0KPqyFw6XLoUIaXlDaczOh6CkE2Wxxtp609qJgza/aTY+oVDA/pelwDAjeV/r6Hp7K/KbA== X-Received: by 2002:a17:907:7703:b0:aa5:4982:abc8 with SMTP id a640c23a62f3a-aa6b11a0e55mr579538766b.22.1734010370166; Thu, 12 Dec 2024 05:32:50 -0800 (PST) Original-Received: from mail-ed1-f47.google.com (mail-ed1-f47.google.com. [209.85.208.47]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-aa67f4c4ae4sm647125666b.111.2024.12.12.05.32.49 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 12 Dec 2024 05:32:49 -0800 (PST) Original-Received: by mail-ed1-f47.google.com with SMTP id 4fb4d7f45d1cf-5ceb03aadb1so800021a12.0 for ; Thu, 12 Dec 2024 05:32:49 -0800 (PST) X-Received: by 2002:a17:906:318d:b0:aa6:8bb4:5035 with SMTP id a640c23a62f3a-aa6b11ed581mr658329066b.31.1734010369663; Thu, 12 Dec 2024 05:32:49 -0800 (PST) In-Reply-To: X-Gmail-Original-Message-ID: Received-SPF: pass client-ip=209.85.208.42; envelope-from=troy.s.brown@gmail.com; helo=mail-ed1-f42.google.com X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, FREEMAIL_FORGED_FROMDOMAIN=0.001, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.249, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:296914 Archived-At: On Thu, Dec 12, 2024 at 3:30=E2=80=AFAM Jo=C3=A3o T=C3=A1vora wrote: > > Please provide more of the eglot events log. > I wasn't sure how much more of the log you wanted, so I re-ran the scenario and provided the entire log. [jsonrpc] D[08:22:58.272] Running language server: ada_language_server --language-gpr [jsonrpc] e[08:22:58.272] --> initialize[1] {"jsonrpc":"2.0","id":1,"method":"initialize","params":{"processId":2262352= ,"clientInfo":{"name":"Eglot","version":"1.17.30"},"rootPath":"/home/troy/"= ,"rootUri":"file:///home/troy","initializationOptions":{},"capabilities":{"= workspace":{"applyEdit":true,"executeCommand":{"dynamicRegistration":false}= ,"workspaceEdit":{"documentChanges":true},"didChangeWatchedFiles":{"dynamic= Registration":true},"symbol":{"dynamicRegistration":false},"configuration":= true,"workspaceFolders":true},"textDocument":{"synchronization":{"dynamicRe= gistration":false,"willSave":true,"willSaveWaitUntil":true,"didSave":true},= "completion":{"dynamicRegistration":false,"completionItem":{"snippetSupport= ":true,"deprecatedSupport":true,"resolveSupport":{"properties":["documentat= ion","details","additionalTextEdits"]},"tagSupport":{"valueSet":[1]}},"cont= extSupport":true},"hover":{"dynamicRegistration":false,"contentFormat":["ma= rkdown","plaintext"]},"signatureHelp":{"dynamicRegistration":false,"signatu= reInformation":{"parameterInformation":{"labelOffsetSupport":true},"documen= tationFormat":["markdown","plaintext"],"activeParameterSupport":true}},"ref= erences":{"dynamicRegistration":false},"definition":{"dynamicRegistration":= false,"linkSupport":true},"declaration":{"dynamicRegistration":false,"linkS= upport":true},"implementation":{"dynamicRegistration":false,"linkSupport":t= rue},"typeDefinition":{"dynamicRegistration":false,"linkSupport":true},"doc= umentSymbol":{"dynamicRegistration":false,"hierarchicalDocumentSymbolSuppor= t":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":f= alse},"codeAction":{"dynamicRegistration":false,"resolveSupport":{"properti= es":["edit","command"]},"dataSupport":true,"codeActionLiteralSupport":{"cod= eActionKind":{"valueSet":["quickfix","refactor","refactor.extract","refacto= r.inline","refactor.rewrite","source","source.organizeImports"]}},"isPrefer= redSupport":true},"formatting":{"dynamicRegistration":false},"rangeFormatti= ng":{"dynamicRegistration":false},"rename":{"dynamicRegistration":false},"i= nlayHint":{"dynamicRegistration":false},"publishDiagnostics":{"relatedInfor= mation":false,"codeDescriptionSupport":false,"tagSupport":{"valueSet":[1,2]= }}},"window":{"showDocument":{"support":true},"workDoneProgress":true},"gen= eral":{"positionEncodings":["utf-32","utf-8","utf-16"]},"experimental":{}},= "workspaceFolders":[{"uri":"file:///home/troy","name":"~/"}]}} [jsonrpc] e[08:22:58.336] <-- initialize[1] {"jsonrpc":"2.0","id":1,"result":{"capabilities":{"textDocumentSync":{"open= Close":true,"change":1},"completionProvider":{"triggerCharacters":[" ",".","'"],"resolveProvider":true},"hoverProvider":true,"declarationProvide= r":true,"definitionProvider":true,"documentSymbolProvider":{}}}} [jsonrpc] e[08:22:58.336] --> initialized {"jsonrpc":"2.0","method":"initialized","params":{}} [jsonrpc] e[08:22:58.338] --> textDocument/didOpen {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{= "uri":"file:///home/troy/junk/hello_world.gpr","version":0,"languageId":"gp= r","text":"project Hello_World is\n\n package Format is\n end Format;\n\nend Hello_World;\n"}}} [jsonrpc] e[08:22:58.338] --> workspace/didChangeConfiguration {"jsonrpc":"2.0","method":"workspace/didChangeConfiguration","params":{"set= tings":{}}} [jsonrpc] e[08:22:58.845] --> textDocument/hover[2] {"jsonrpc":"2.0","id":2,"method":"textDocument/hover","params":{"textDocume= nt":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":3,"= character":0}}} [jsonrpc] e[08:22:59.336] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[]}} [jsonrpc] e[08:23:00.291] <-- textDocument/hover[2] {"jsonrpc":"2.0","id":2,"result":null} [jsonrpc] e[08:23:00.839] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":1},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:00.839] --> textDocument/hover[3] {"jsonrpc":"2.0","id":3,"method":"textDocument/hover","params":{"textDocume= nt":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,"= character":3}}} [jsonrpc] e[08:23:01.822] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[]}} [jsonrpc] e[08:23:01.823] <-- textDocument/hover[3] {"jsonrpc":"2.0","id":3,"result":null} [jsonrpc] e[08:23:01.839] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":2},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n\n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:01.839] --> textDocument/hover[4] {"jsonrpc":"2.0","id":4,"method":"textDocument/hover","params":{"textDocume= nt":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,"= character":0}}} [jsonrpc] e[08:23:02.830] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[]}} [jsonrpc] e[08:23:02.861] <-- textDocument/hover[4] {"jsonrpc":"2.0","id":4,"result":null} [jsonrpc] e[08:23:03.358] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":3},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n \n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:03.358] --> textDocument/hover[5] {"jsonrpc":"2.0","id":5,"method":"textDocument/hover","params":{"textDocume= nt":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,"= character":6}}} [jsonrpc] e[08:23:04.098] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":4},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n for \n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:04.098] --> textDocument/completion[6] {"jsonrpc":"2.0","id":6,"method":"textDocument/completion","params":{"textD= ocument":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line= ":4,"character":10},"context":{"triggerKind":2,"triggerCharacter":" "}}} [jsonrpc] e[08:23:04.303] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[]}} [jsonrpc] e[08:23:04.305] <-- textDocument/hover[5] {"jsonrpc":"2.0","id":5,"result":null} [jsonrpc] i[08:23:04.305] anxious continuation to 5 can't run, held up by (= 6) [jsonrpc] e[08:23:04.401] --> textDocument/hover[7] {"jsonrpc":"2.0","id":7,"method":"textDocument/hover","params":{"textDocume= nt":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,"= character":10}}} [jsonrpc] e[08:23:04.568] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[{"range":{"start":= {"line":6,"character":3},"end":{"line":6,"character":3}},"severity":1,"sour= ce":"project","message":"Expected Identifier, got 'end'"}]}} [jsonrpc] e[08:23:04.573] <-- textDocument/completion[6] {"jsonrpc":"2.0","id":6,"result":{"isIncomplete":false,"items":[{"label":"W= idth","documentation":"Max line width","data":["Format","Width"]},{"label":"Indentation","documentatio= n":"Indentation size","data":["Format","Indentation"]},{"label":"Indentation_Kind","documen= tation":"Indentation kind: spaces | tabs","data":["Format","Indentation_Kind"]},{"label":"Indent= ation_Continuation","documentation":"Continuation Line Indentation size","data":["Format","Indentation_Continuation"]},{"label":"End_Of_Line",= "documentation":"End of line sequence: lf | crlf","data":["Format","End_Of_Line"]},{"label":"Charset","documentation":"= Charset to use for source decoding","data":["Format","Charset"]}]}} [jsonrpc] i[08:23:04.573] anxious continuation to 5 running now [jsonrpc] e[08:23:04.573] <-- textDocument/hover[7] {"jsonrpc":"2.0","id":7,"result":null} [jsonrpc] e[08:23:04.585] --> completionItem/resolve[8] {"jsonrpc":"2.0","id":8,"method":"completionItem/resolve","params":{"label"= :"Charset","documentation":"Charset to use for source decoding","data":["Format","Charset"]}} [jsonrpc] e[08:23:04.590] <-- completionItem/resolve[8] {"jsonrpc":"2.0","id":8,"result":{"label":"Charset","documentation":"Charse= t to use for source decoding","data":["Format","Charset"]}} [jsonrpc] e[08:23:06.553] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":5},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n for en\n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:06.553] --> completionItem/resolve[9] {"jsonrpc":"2.0","id":9,"method":"completionItem/resolve","params":{"label"= :"End_Of_Line","documentation":"End of line sequence: lf | crlf","data":["Format","End_Of_Line"]}} [jsonrpc] e[08:23:06.743] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":6},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n for end\n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:06.743] --> completionItem/resolve[10] {"jsonrpc":"2.0","id":10,"method":"completionItem/resolve","params":{"label= ":"End_Of_Line","documentation":"End of line sequence: lf | crlf","data":["Format","End_Of_Line"]}} [jsonrpc] e[08:23:06.823] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[{"range":{"start":= {"line":6,"character":3},"end":{"line":6,"character":3}},"severity":1,"sour= ce":"project","message":"Expected 'use', got 'end'"}]}} [jsonrpc] e[08:23:06.830] <-- [9] {"jsonrpc":"2.0","id":9,"result":{"label":"End_Of_Line","documentation":"En= d of line sequence: lf | crlf","data":["Format","End_Of_Line"]}} [jsonrpc] i[08:23:06.830] [9] Response to request 9 which has been canceled [jsonrpc] e[08:23:07.076] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[{"range":{"start":= {"line":4,"character":10},"end":{"line":4,"character":10}},"severity":1,"so= urce":"project","message":"Expected Identifier, got 'end'"}]}} [jsonrpc] e[08:23:07.105] <-- completionItem/resolve[10] {"jsonrpc":"2.0","id":10,"result":{"label":"End_Of_Line","documentation":"E= nd of line sequence: lf | crlf","data":["Format","End_Of_Line"]}} [jsonrpc] e[08:23:07.245] --> textDocument/hover[11] {"jsonrpc":"2.0","id":11,"method":"textDocument/hover","params":{"textDocum= ent":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,= "character":13}}} [jsonrpc] e[08:23:07.257] <-- textDocument/hover[11] {"jsonrpc":"2.0","id":11,"result":null} [jsonrpc] e[08:23:08.466] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":7},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n for end_of\n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:08.466] --> textDocument/hover[12] {"jsonrpc":"2.0","id":12,"method":"textDocument/hover","params":{"textDocum= ent":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,= "character":16}}} [jsonrpc] e[08:23:08.725] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[{"range":{"start":= {"line":6,"character":3},"end":{"line":6,"character":3}},"severity":1,"sour= ce":"project","message":"Expected 'use', got 'end'"}]}} [jsonrpc] e[08:23:08.727] <-- textDocument/hover[12] {"jsonrpc":"2.0","id":12,"result":null} [jsonrpc] e[08:23:09.013] --> textDocument/didChange {"jsonrpc":"2.0","method":"textDocument/didChange","params":{"textDocument"= :{"uri":"file:///home/troy/junk/hello_world.gpr","version":8},"contentChang= es":[{"text":"project Hello_World is\n\n package Format is\n\n for End_Of_Line\n \n end Format;\n\nend Hello_World;\n"}]}} [jsonrpc] e[08:23:09.281] <-- textDocument/publishDiagnostics {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri"= :"file:///home/troy/junk/hello_world.gpr","diagnostics":[{"range":{"start":= {"line":6,"character":3},"end":{"line":6,"character":3}},"severity":1,"sour= ce":"project","message":"Expected 'use', got 'end'"}]}} [jsonrpc] e[08:23:09.518] --> textDocument/hover[13] {"jsonrpc":"2.0","id":13,"method":"textDocument/hover","params":{"textDocum= ent":{"uri":"file:///home/troy/junk/hello_world.gpr"},"position":{"line":4,= "character":21}}} [jsonrpc] e[08:23:09.531] <-- textDocument/hover[13] {"jsonrpc":"2.0","id":13,"result":null}