From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#73500: eglot: diagnostic location not always shown Date: Sat, 28 Sep 2024 14:16:02 +0300 Message-ID: <86wmiw58r1.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1809"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 73500@debbugs.gnu.org To: Federico Beffa , =?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 Sat Sep 28 13:16:44 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 1suVRK-0000MR-VO for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 28 Sep 2024 13:16:43 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1suVRD-0002pv-G3; Sat, 28 Sep 2024 07:16:35 -0400 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 1suVRB-0002pW-La for bug-gnu-emacs@gnu.org; Sat, 28 Sep 2024 07:16:33 -0400 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 1suVRA-0005Hd-Sj for bug-gnu-emacs@gnu.org; Sat, 28 Sep 2024 07:16:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-version:References:In-Reply-To:From:Date:To:Subject; bh=DBvlDrRdRemsz795H86UeLQ0tcXQKezQkEbmbJv9yjs=; b=YTq94RML2/1Q3H0xi29cOl+DVrcV8/24KpbfMDCs3TC2OrqQZaNLayvQfBLiojVp2ACdki5zBOkq9BiFwGmtkOyzIwVuXrecIMce9vXeXamHPJeayGXwI3uAdmieDt9dmn0FW2u3AkBr+VmpmpwXkwmog4icVlSXahxWHmgUqtrki4YjrwUvnbZ9zIgPn1AblTO4FB+6Oq9IhgvYb4ySpZ3OJ2Iw5k++eCPL/0zxRjf0Nig0pURycr8hx+N71CHXMzDf7GH5DsP1WgbYz6WPjw02qGXZhywSNp/s3pTZIMNi/MhY7Th2wc8WZRLoZAN0ZjiXR2MJShK0wzVkdn/sqg==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1suVRe-0005cy-Kl for bug-gnu-emacs@gnu.org; Sat, 28 Sep 2024 07:17:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 28 Sep 2024 11:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73500 X-GNU-PR-Package: emacs Original-Received: via spool by 73500-submit@debbugs.gnu.org id=B73500.172752220421583 (code B ref 73500); Sat, 28 Sep 2024 11:17:02 +0000 Original-Received: (at 73500) by debbugs.gnu.org; 28 Sep 2024 11:16:44 +0000 Original-Received: from localhost ([127.0.0.1]:52011 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1suVRL-0005c3-H3 for submit@debbugs.gnu.org; Sat, 28 Sep 2024 07:16:43 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:52838) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1suVRJ-0005bo-Hg for 73500@debbugs.gnu.org; Sat, 28 Sep 2024 07:16:41 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1suVQj-0005GS-PD; Sat, 28 Sep 2024 07:16:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=DBvlDrRdRemsz795H86UeLQ0tcXQKezQkEbmbJv9yjs=; b=d1vP6+hbm8dl5ItJ5Orc ucpC5Dxz6REmKxJtyv5dZbls6iu7qnmmr6iFqiOLVNsLlBsCwGtTS+iTCiwXADSOsF6POPgLn0xNX fVSIBhtlwcLMjEjBTHiWIzSQfTlXfpLNBhyACl9dIcGw2dgeABYfTM+xj30D5FHr3a/xh4roll8Wp YebRVKC1HjEsFGgiGPB96gcLIgLVlk0qlFIHg8KJfZz/hv8aacTV0l+lfIDpVVy+euPNusK65nvfx HRTSHnBM9T34DzEbyuaEoK3/6KzeQJGQurBkgC6QADN+sdUN4NqREkDmh404csDcyYPCerTwAS6yh J27vsbkeHtFymA==; In-Reply-To: (bug-gnu-emacs@gnu.org) 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:292571 Archived-At: > Date: Thu, 26 Sep 2024 15:49:41 +0200 > From: Federico Beffa via "Bug reports for GNU Emacs, > the Swiss army knife of text editors" > > I'm using `emacs` 29.4 with the `haskell-language-server` 2.8.0.0 on NixOS 24.05. > > The following code > ```haskell > isAscending [x] = True > ``` > produces the following diagnostic from the lsp > ```elisp > (:jsonrpc "2.0" :method "textDocument/publishDiagnostics" :params > (:diagnostics > [(:code "-Wunused-matches" :message "Defined but not used: ‘x’" :range > (:end > (:character 14 :line 17) > :start > (:character 13 :line 17)) > :severity 2 :source "typecheck" :tags > [1]) > (:code "-Wmissing-signatures" :message "Top-level binding with no type signature:\n fbeCircle :: > svg-builder-0.1.1:Graphics.Svg.Core.Element" :range > (:end > (:character 9 :line 25) > :start > (:character 0 :line 25)) > :severity 2 :source "typecheck")] > :uri "file:///home/user/tmp/haskell/test-flake-utils/test/src/Main.hs" :version 0)) > ``` > The first diagnostics (corresponding to the above code) is shown in the Emacs buffer only with an exclamation > mark in the fringe. However, the diagnostic message is not shown anywhere unless the cursor is placed on > the exact location in question (the 'x' in the square brakes). Without any visual aid, it's very difficult to pinpoint > the exact location of the problem to see the message. > > The other diagnostic in the same server message, on top of the exclamation mark, it's properly highlighted > with a blue wiggled underline and easy to locate. I'd expect this to happen for all diagnostics. João, any comments or suggestions?