From debbugs-submit-bounces@debbugs.gnu.org Fri May 03 13:28:07 2024 Received: (at submit) by debbugs.gnu.org; 3 May 2024 17:28:08 +0000 Received: from localhost ([127.0.0.1]:47462 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s2whb-0004AU-4g for submit@debbugs.gnu.org; Fri, 03 May 2024 13:28:07 -0400 Received: from lists.gnu.org ([2001:470:142::17]:57728) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s2whW-00047Y-Uu for submit@debbugs.gnu.org; Fri, 03 May 2024 13:28:05 -0400 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 1s2wh5-0006ZK-48 for bug-gnu-emacs@gnu.org; Fri, 03 May 2024 13:27:35 -0400 Received: from relayout02.e.movistar.es ([86.109.101.202] helo=relayout02-redir.e.movistar.es) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s2wh0-0007Ch-4Y for bug-gnu-emacs@gnu.org; Fri, 03 May 2024 13:27:34 -0400 Received: from sky (81.red-81-39-130.dynamicip.rima-tde.net [81.39.130.81]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: 981711563@telefonica.net) by relayout02.e.movistar.es (Postfix) with ESMTPSA id 4VWHmn6J9hzdc4l for ; Fri, 3 May 2024 19:27:21 +0200 (CEST) From: =?utf-8?Q?=C3=93scar_Fuentes?= To: bug-gnu-emacs@gnu.org Subject: 30.0.50; flymake: add a command for resetting state X-Debbugs-Cc: Date: Fri, 03 May 2024 19:27:21 +0200 Message-ID: <87zft6hkli.fsf@telefonica.net> MIME-Version: 1.0 Content-Type: text/plain X-TnetOut-Country: IP: 81.39.130.81 | Country: ES X-TnetOut-Information: AntiSPAM and AntiVIRUS on relayout02 X-TnetOut-MsgID: 4VWHmn6J9hzdc4l.A8D6A X-TnetOut-SpamCheck: no es spam, clean X-TnetOut-From: ofv@wanadoo.es X-TnetOut-Watermark: 1715362042.41154@Bv2yoIPYKT+MLWG32vt65Q X-Spam-Status: No Received-SPF: softfail client-ip=86.109.101.202; envelope-from=ofv@wanadoo.es; helo=relayout02-redir.e.movistar.es X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Sometimes flymake shows indicators of unexisting diagnostics. The only method I know of clearing those indicators is killing all buffers with the same mode. The real fix is to not show unexisting diagnostics, but since that can be caused either by bugs in flymake or in third-party diagnostic functions (including in the function's development) providing a command or easy method to clear those diagnostics would be pragmatic and convenient. In GNU Emacs 30.0.50 (build 1, x86_64-pc-linux-gnu, X toolkit, cairo version 1.18.0) of 2024-04-29 built on sky Repository revision: 58ca91fe0723c861d53375f52e5b6dd54a49a2e3 Repository branch: master Windowing system distributor 'The X.Org Foundation', version 11.0.12101011 System Description: Debian GNU/Linux trixie/sid Configured using: 'configure --with-native-compilation --without-toolkit-scroll-bars --with-x-toolkit=lucid --with-modules --without-imagemagick' Configured features: CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GSETTINGS HARFBUZZ JPEG JSON LIBOTF LIBSELINUX LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TREE_SITTER WEBP X11 XAW3D XDBE XIM XINPUT2 XPM LUCID ZLIB Important settings: value of $LANG: C locale-coding-system: nil From debbugs-submit-bounces@debbugs.gnu.org Sat May 04 07:55:05 2024 Received: (at 70752) by debbugs.gnu.org; 4 May 2024 11:55:05 +0000 Received: from localhost ([127.0.0.1]:53354 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s3Dyq-0007jD-Ms for submit@debbugs.gnu.org; Sat, 04 May 2024 07:55:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44916) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s3Dyo-0007il-Qb for 70752@debbugs.gnu.org; Sat, 04 May 2024 07:55:03 -0400 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 1s3DyL-0001ae-Pt; Sat, 04 May 2024 07:54:33 -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=BB5zJwVLS5QDr2sJL0/OyKvxINFGO8/FnT60GPaMwvo=; b=BvtY4J/P5r9Hp5Afsle8 zUvpgRUKo/osdUtyu3MZv7EuD3Vdm0wl3/jEVFqtZ6P69xX1EJJbYAsabyq0N11z+9QE5o7n168ot WlLGtrYOamAAClDNoEtg9Bl5qwq9LI/5zORkkKdNz+qBVYvURnNODHjn7Ks7biRh5eabB3vP9plFf 2oUtBpz3NXbyFZWpcrk3UaUXi+Wxeg9C63owBdhghGGLZ2htPl6nF5GHmir/Qigl+w5izDKFVkATC eG1VbceldX2tOZIVqSqTj6eUdz1gjD285X5t0ZmzwSAUXKvQva2H5s8Nfq5+/NBHQDStB+gFa9JzS 2+BBLFPYkrGfOA==; Date: Sat, 04 May 2024 14:54:31 +0300 Message-Id: <86seyxg5c8.fsf@gnu.org> From: Eli Zaretskii To: =?utf-8?Q?=C3=93scar?= Fuentes , Spencer Baugh In-Reply-To: <87zft6hkli.fsf@telefonica.net> (message from =?utf-8?Q?=C3=93scar?= Fuentes on Fri, 03 May 2024 19:27:21 +0200) Subject: Re: bug#70752: 30.0.50; flymake: add a command for resetting state References: <87zft6hkli.fsf@telefonica.net> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 70752 Cc: 70752@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Óscar Fuentes > Date: Fri, 03 May 2024 19:27:21 +0200 > > > Sometimes flymake shows indicators of unexisting diagnostics. The only > method I know of clearing those indicators is killing all buffers with > the same mode. > > The real fix is to not show unexisting diagnostics, but since that can > be caused either by bugs in flymake or in third-party diagnostic > functions (including in the function's development) providing a command > or easy method to clear those diagnostics would be pragmatic and > convenient. Spencer, could you please look into this? From debbugs-submit-bounces@debbugs.gnu.org Sat May 04 19:23:28 2024 Received: (at 70752) by debbugs.gnu.org; 4 May 2024 23:23:29 +0000 Received: from localhost ([127.0.0.1]:56311 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s3Oj2-0004nN-NF for submit@debbugs.gnu.org; Sat, 04 May 2024 19:23:28 -0400 Received: from relayout04.e.movistar.es ([86.109.101.204]:63875 helo=relayout04-redir.e.movistar.es) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s3Oj0-0004n1-5P for 70752@debbugs.gnu.org; Sat, 04 May 2024 19:23:27 -0400 Received: from sky (81.red-81-39-130.dynamicip.rima-tde.net [81.39.130.81]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: 981711563@telefonica.net) by relayout04.e.movistar.es (Postfix) with ESMTPSA id 4VX3cY5Mf2z16KcH; Sun, 5 May 2024 01:22:53 +0200 (CEST) From: =?utf-8?Q?=C3=93scar_Fuentes?= To: Eli Zaretskii Subject: Re: bug#70752: 30.0.50; flymake: add a command for resetting state In-Reply-To: <86seyxg5c8.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 04 May 2024 14:54:31 +0300") References: <87zft6hkli.fsf@telefonica.net> <86seyxg5c8.fsf@gnu.org> Date: Sun, 05 May 2024 01:22:53 +0200 Message-ID: <874jbdkvqq.fsf@telefonica.net> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-TnetOut-Country: IP: 81.39.130.81 | Country: ES X-TnetOut-Information: AntiSPAM and AntiVIRUS on relayout04 X-TnetOut-MsgID: 4VX3cY5Mf2z16KcH.A1A5C X-TnetOut-SpamCheck: no es spam, clean X-TnetOut-From: ofv@wanadoo.es X-TnetOut-Watermark: 1715469776.26624@EFZSOQbHVA1tvT1yXANYgw X-Spam-Status: No X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 70752 Cc: Spencer Baugh , 70752@debbugs.gnu.org, =?utf-8?B?Sm/Do28gVMOhdm9yYQ==?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Eli Zaretskii writes: > Spencer, could you please look into this? Isn't Jo=C3=A3o the flymake maintainer nowadays? (CCed) From debbugs-submit-bounces@debbugs.gnu.org Sat May 18 04:35:02 2024 Received: (at 70752) by debbugs.gnu.org; 18 May 2024 08:35:03 +0000 Received: from localhost ([127.0.0.1]:60312 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8FWw-0007ZJ-K6 for submit@debbugs.gnu.org; Sat, 18 May 2024 04:35:02 -0400 Received: from eggs.gnu.org ([209.51.188.92]:41382) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8FWv-0007Yn-9t for 70752@debbugs.gnu.org; Sat, 18 May 2024 04:35:01 -0400 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 1s8FWl-0003hT-6D; Sat, 18 May 2024 04:34:51 -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=EMpbfpFRoPo0XBb/yiHk1ik7GB/v4MIVxFdNplk8gP8=; b=lQAd0W53Y7ANHaW1LELc 9KWYpBseXEtsWwxBFVlTj5YkHbJqs77koe4wFv7ZWF+RPkeKzUlCoQZtXirPo1zeBe4yMy0izjAE1 3WTx3B4nGIwHAyXaqc7EpPtN+CLGEQI0uHQoJ1rkR2rsO02kpy0EKeAfJv3KGCIUsEIrZbnw3zXkJ oGn2Sl6W/J/O+UCjl83XrY/uLg5pXPgZ9jt07rFmN7e4FxwNqdyT0ei0joa9Krfomx40BlxZy+qfS kmA+aer+3ywC+R2eDxunsOOIQaeJkVFqqMPdzBqVZ9cDZi6TM08zO6tKI/Q2B/ctBT9kqmIIAaCaz tZpwBf7HRh02qQ==; Date: Sat, 18 May 2024 11:34:48 +0300 Message-Id: <86zfsnecwn.fsf@gnu.org> From: Eli Zaretskii To: sbaugh@janestreet.com In-Reply-To: <86seyxg5c8.fsf@gnu.org> (message from Eli Zaretskii on Sat, 04 May 2024 14:54:31 +0300) Subject: Re: bug#70752: 30.0.50; flymake: add a command for resetting state References: <87zft6hkli.fsf@telefonica.net> <86seyxg5c8.fsf@gnu.org> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 70752 Cc: ofv@wanadoo.es, 70752@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Ping! Spencer, are you looking into this? > Cc: 70752@debbugs.gnu.org > Date: Sat, 04 May 2024 14:54:31 +0300 > From: Eli Zaretskii > > > From: Óscar Fuentes > > Date: Fri, 03 May 2024 19:27:21 +0200 > > > > > > Sometimes flymake shows indicators of unexisting diagnostics. The only > > method I know of clearing those indicators is killing all buffers with > > the same mode. > > > > The real fix is to not show unexisting diagnostics, but since that can > > be caused either by bugs in flymake or in third-party diagnostic > > functions (including in the function's development) providing a command > > or easy method to clear those diagnostics would be pragmatic and > > convenient. > > Spencer, could you please look into this? > > > > From debbugs-submit-bounces@debbugs.gnu.org Sat May 18 10:37:34 2024 Received: (at 70752) by debbugs.gnu.org; 18 May 2024 14:37:34 +0000 Received: from localhost ([127.0.0.1]:33819 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8LBm-0004vj-3v for submit@debbugs.gnu.org; Sat, 18 May 2024 10:37:34 -0400 Received: from mxout5.mail.janestreet.com ([64.215.233.18]:50191) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8LBj-0004vd-5H for 70752@debbugs.gnu.org; Sat, 18 May 2024 10:37:32 -0400 From: Spencer Baugh To: =?utf-8?Q?=C3=93scar?= Fuentes Subject: Re: bug#70752: 30.0.50; flymake: add a command for resetting state In-Reply-To: <87zft6hkli.fsf@telefonica.net> (=?utf-8?Q?=22=C3=93scar?= Fuentes"'s message of "Fri, 03 May 2024 19:27:21 +0200") References: <87zft6hkli.fsf@telefonica.net> Date: Sat, 18 May 2024 10:37:21 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=waixah; t=1716043041; bh=UjoBRF+hvKNRz3NjiST4pHhfHoMJuND0iZQ6HPnBiyc=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=SPZSQrvSUTAcFViMYK1v7BHdCFM6v9ON+jeYSkTmaxO6VxLAeARzO/aKBNfewJR2E VUjiOppm6nyr7H1UzOTNjzIZ8auXfI8lANzDlvAunxatkmA5V5jK1NG8to2m3lUdKg 7mxzfZ8FCjhhJ+BaksANa7MtZnbOZqORTlEwO8ZN7j31kwc2lbxB4olGQv3Ssi3Wjp PewjgUmB43R7Wp79hKu7hvhii2f5CTPuB9QukFelW1379oWQHjua9kkZSO7UuF7Ul0 QSvGon2BOcmA9shl2YP47q7hNnop0hqYDV8NCS8J8whCu2FJU8njwKq/NndoPA9W+B iiNZySV/UWVKw== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 70752 Cc: 70752@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) =C3=93scar Fuentes writes: > Sometimes flymake shows indicators of unexisting diagnostics. The only > method I know of clearing those indicators is killing all buffers with > the same mode. > > The real fix is to not show unexisting diagnostics, but since that can > be caused either by bugs in flymake or in third-party diagnostic > functions (including in the function's development) providing a command > or easy method to clear those diagnostics would be pragmatic and > convenient. Could you give an example of a flymake diagnostic function which reports non-existing diagnostics? Also, I expect that you would be able to clear the diagnostics by simply toggling flymake-mode in the buffer with undesirable diagnostics present. From debbugs-submit-bounces@debbugs.gnu.org Sat May 18 11:10:17 2024 Received: (at 70752) by debbugs.gnu.org; 18 May 2024 15:10:17 +0000 Received: from localhost ([127.0.0.1]:33963 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8LhR-0005bn-Cw for submit@debbugs.gnu.org; Sat, 18 May 2024 11:10:17 -0400 Received: from relayout03-redir.e.movistar.es ([86.109.101.203]:28443) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s8LhO-0005bZ-VY for 70752@debbugs.gnu.org; Sat, 18 May 2024 11:10:16 -0400 Received: from sky (81.red-81-39-130.dynamicip.rima-tde.net [81.39.130.81]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: 981711563@telefonica.net) by relayout03.e.movistar.es (Postfix) with ESMTPSA id 4VhS1M5FF4zMlhK; Sat, 18 May 2024 17:09:59 +0200 (CEST) From: =?utf-8?Q?=C3=93scar_Fuentes?= To: Spencer Baugh Subject: Re: bug#70752: 30.0.50; flymake: add a command for resetting state In-Reply-To: (Spencer Baugh's message of "Sat, 18 May 2024 10:37:21 -0400") References: <87zft6hkli.fsf@telefonica.net> Date: Sat, 18 May 2024 17:09:59 +0200 Message-ID: <87ikzbqhq0.fsf@telefonica.net> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-TnetOut-Country: IP: 81.39.130.81 | Country: ES X-TnetOut-Information: AntiSPAM and AntiVIRUS on relayout03 X-TnetOut-MsgID: 4VhS1M5FF4zMlhK.A41FF X-TnetOut-SpamCheck: no es spam, clean X-TnetOut-From: ofv@wanadoo.es X-TnetOut-Watermark: 1716649800.07712@pSgPk2UswcxrvIBKmPGyKQ X-Spam-Status: No X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 70752 Cc: 70752@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Spencer Baugh writes: > =C3=93scar Fuentes writes: >> Sometimes flymake shows indicators of unexisting diagnostics. The only >> method I know of clearing those indicators is killing all buffers with >> the same mode. >> >> The real fix is to not show unexisting diagnostics, but since that can >> be caused either by bugs in flymake or in third-party diagnostic >> functions (including in the function's development) providing a command >> or easy method to clear those diagnostics would be pragmatic and >> convenient. > > Could you give an example of a flymake diagnostic function which reports > non-existing diagnostics? > > Also, I expect that you would be able to clear the diagnostics by simply > toggling flymake-mode in the buffer with undesirable diagnostics > present. Hello. I've made a function for an internal language programming. The function follows the example on the manual. The function does not report those diagnostics, something else is at play. Anyway, fixing a faulty function is not the point of this report. This is about flymake showing "sticky" diagnostics that do not go away even when the function reports no diagnostics. More specifically, this is about how to get rid of those phantom diagnostic indicators. It happens infrequently enough (IMAO) that having to invoke some "flymake-cleanup" command would not be a serious nuisance. I've seen the problem happen just after an edited buffer is reverted: random lines on the buffer appear decorated with a diagnostic indicator. Turning off and on flymake-mode does not work. More surprisingly, killing the buffer and visiting it again doesn't work either: the diagnostics are back (and I insist on the function not reporting them, that's 100% checked). The only thing that works is to kill all the buffers with the same major mode. Recently, I noticed that deleting the decorated lines and simply undoing the deletion also gets rid of the decoration. BTW, flymake not only decorates the lines, it also adds them to the diagnostic counter on the modeline. So, to recap, a flymake-clean-diagnostics or somesuch command would be handy. A quick inspection of flymake's source does not indicate an obvious way of doing this, as it seems that the diagnostic information is scattered over several places (including overlays on the affected buffers.) Thanks!