From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Federico Beffa via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#73500: eglot: diagnostic location not always shown Date: Mon, 30 Sep 2024 11:19:41 +0200 Message-ID: References: <86wmiw58r1.fsf@gnu.org> <6654a127-fb75-4b8b-86d6-267b92567429@fbengineering.ch> <87r093tr3r.fsf@gmail.com> <452a24b1-14e8-40a6-b921-a26522278a82@fbengineering.ch> <1460ead9-025e-4405-b392-c3b9a008b733@fbengineering.ch> Reply-To: Federico Beffa Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="------------W7fDN15GOjouUELFwlcbMclo" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29360"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla Thunderbird Cc: 73500@debbugs.gnu.org, Eli Zaretskii 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 Mon Sep 30 11:20:48 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 1svCaF-0007OU-Tf for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 30 Sep 2024 11:20:48 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1svCa2-00020G-MW; Mon, 30 Sep 2024 05:20: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 1svCZy-0001qi-SP for bug-gnu-emacs@gnu.org; Mon, 30 Sep 2024 05:20:31 -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 1svCZy-0005pF-Iu for bug-gnu-emacs@gnu.org; Mon, 30 Sep 2024 05:20:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:From:References:MIME-Version:Date:To:Subject; bh=CA5yJHTeJfyAPnzvkInR2oO+13L8HaKsbC4xgW+IymU=; b=CAlYkS572VucRIH3CPEQXVSmcU+I5p+nPJxy4w/zvzEZTV2LYkxQLxGZBYnWXMSuS2ejZcCsB0OPHGg5v/RpbmQoHHmXSFbaffLfRqTLuqNEuzEyvK2hA9in8DZRk+Qu7wQQ2cPiDPGdjunQ2aiyo3aHir/ft7QydkGADe7OAZi6ykrCL+ODzbvvUSDx5yOFX2CxmRsqEMokYjhQ3bmM2Ao7Vc5xbZrOTHtZkcKpmasr75lYVz7UOdVsOXZQe1+jTrv5TR6+wjG18elZyo62V3/7bJBNnVeK5IM2kuR5zi1WZyEjWFUnFNYJKie89RepAQggzsQ25Xj5WUz2Bu1EjA==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1svCaU-0007hI-Ft for bug-gnu-emacs@gnu.org; Mon, 30 Sep 2024 05:21:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Federico Beffa Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 30 Sep 2024 09:21: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.172768805429573 (code B ref 73500); Mon, 30 Sep 2024 09:21:02 +0000 Original-Received: (at 73500) by debbugs.gnu.org; 30 Sep 2024 09:20:54 +0000 Original-Received: from localhost ([127.0.0.1]:44723 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svCaM-0007gv-2C for submit@debbugs.gnu.org; Mon, 30 Sep 2024 05:20:54 -0400 Original-Received: from smtp-1908.mail.infomaniak.ch ([185.125.25.8]:43719) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svCaK-0007gm-A8 for 73500@debbugs.gnu.org; Mon, 30 Sep 2024 05:20:53 -0400 Original-Received: from smtp-4-0001.mail.infomaniak.ch (smtp-4-0001.mail.infomaniak.ch [10.7.10.108]) by smtp-3-3000.mail.infomaniak.ch (Postfix) with ESMTPS id 4XHFrt4sPNzKc; Mon, 30 Sep 2024 11:19:42 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fbengineering.ch; s=20220212; t=1727687982; bh=CA5yJHTeJfyAPnzvkInR2oO+13L8HaKsbC4xgW+IymU=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=kxBJbE7GDoKKL/+EAzO5RwJQE9bbHR8Ulp9VdUO0YlJNJDCxXXbFLeckYMcWylNNG FxnpWhR5g6iM/sx5QYExIVd2xrgd5corxd3B3lPvQfxrEnrdNrXqfyV7TCFKUYrVhj 5xggxItCjyK9UJFjB0UJCRLd6e2EEa0d0Xpukm7Y= Original-Received: from unknown by smtp-4-0001.mail.infomaniak.ch (Postfix) with ESMTPA id 4XHFrs5WdSzv3; Mon, 30 Sep 2024 11:19:41 +0200 (CEST) Content-Language: en-US Autocrypt: addr=federico.beffa@fbengineering.ch; keydata= xsBNBFgAga0BCADIY78eSt/I4vGPo/UMBMQhcM8O2tptvlN0B2F6Z8sDAOwgWnQpd0x2AVM8 I39VymnmbEQfWf/Y0U9XJqrmOz91NreTsZUsR9BSZy1fVIUbdoQTI8m8CGpjDBnloX+cQwwD PDS2RL2/a0rZciXUMunVvM/o2zLHUIyO/GeoqKN5mU4d4nZYPHtBOBpmzfvfyZLM1uyu/flb KGFqW0uKmS8MQWhyUdvIsiAU/Aofuf0dVp2C/Z5w01Vyw38fReZ20onxbabSjLrOT+K6vzrV /9P+6435Ptoek+5BoQX50f+cMYq4d2rE2PBenDy4xAloL/qOUj6XqwW9ZWAkLLiqYiJdABEB AAHNMEZlZGVyaWNvIEJlZmZhIDxmZWRlcmljby5iZWZmYUBmYmVuZ2luZWVyaW5nLmNoPsLA kQQTAQgAOxYhBDd0gCSID9P/3KLJq1iTbg4vG1pMBQJjXqXsAhsDBQsJCAcCAiICBhUKCQgL AgQWAgMBAh4HAheAAAoJEFiTbg4vG1pMv1sH/1K4SI0+6tmpPLGwCUqpeUk5AScmqntZ41rT 9W8XF1QgZVsgSqFrVfQLpW+MC5VoMJJmdcPLD8gLLBhViavw8LrQzO8jO90US70MnUnniFB7 c0YabBsd2cGa25a+LOZ/f1lZCtHvlq46Trxcn9DM+pfexlM6AyN8+FGGIstSwXC96AOfr41U lSQqaLbD9ecf+VzPvOPozKLOpQaakuUFLeo9KB1VmK3UxWU3JQ96fJ+Aw8PXJLJFH8bSK/an OCzZPPFvICGUcqBKIDirUKzRyiC In-Reply-To: X-Infomaniak-Routing: alpha 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:292699 Archived-At: This is a multi-part message in MIME format. --------------W7fDN15GOjouUELFwlcbMclo Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit A few questions: * have you checked the provided lsp*.log files which show that the diagnostics is sent? * have you checked the provided screenshots showing an exclamation mark in the fringe but no underlining? * How do you explain the exclamation mark in the fringe which doess not appear if eglot is not enabled? * Do you also see the exclamation mark in the fringe on the line in question? * Does "cabal run" works? Do you see the output? If not please provide the complete error message. If cabal is not working properly then you'll not see any diagnostics because the `bug73500.cabal` file includes a compiler directive to display all warnings. Please provide the full `eglot-events-buffer` transcript. Two `xx` still don't cause underlining. On 29/09/2024 23:18, João Távora wrote: > On Sun, Sep 29, 2024 at 7:59 PM Federico Beffa > wrote: >> Sure, no problem and nothing changes, the bug is still there. > So far, there is one sighting of it: yours. If I were you I would try > out the modified Main.hs program and report if you see the underlined > second x. > > If you didn't know, Eglot has virtually 0 haskell-specific code (much > as it has 0 foo-specific code for any language foo). > > João --------------W7fDN15GOjouUELFwlcbMclo Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit A few questions:
* have you checked the provided lsp*.log files which show that the diagnostics is sent?
* have you checked the provided screenshots showing an exclamation mark in the fringe but no underlining?
* How do you explain the exclamation mark in the fringe which doess not appear if eglot is not enabled?
* Do you also see the exclamation mark in the fringe on the line in question?
* Does "cabal run" works? Do you see the output? If not please provide the complete error message.

If cabal is not working properly then you'll not see any diagnostics because the `bug73500.cabal` file includes a compiler directive to display all warnings.

Please provide the full `eglot-events-buffer` transcript.

Two `xx` still don't cause underlining.

On 29/09/2024 23:18, João Távora wrote:
On Sun, Sep 29, 2024 at 7:59 PM Federico Beffa
<federico.beffa@fbengineering.ch> wrote:

Sure, no problem and nothing changes, the bug is still there.

So far, there is one sighting of it: yours.  If I were you I would try
out the modified Main.hs program and report if you see the underlined
second x.

If you didn't know, Eglot has virtually 0 haskell-specific code (much
as it has 0 foo-specific code for any language foo).

João

--------------W7fDN15GOjouUELFwlcbMclo--