From unknown Fri Jun 20 18:14:04 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#78459 <78459@debbugs.gnu.org> To: bug#78459 <78459@debbugs.gnu.org> Subject: Status: flymake related locations (ancillary diagnostics) Reply-To: bug#78459 <78459@debbugs.gnu.org> Date: Sat, 21 Jun 2025 01:14:04 +0000 retitle 78459 flymake related locations (ancillary diagnostics) reassign 78459 emacs submitter 78459 Mattias Engdeg=C3=A5rd severity 78459 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri May 16 11:42:18 2025 Received: (at submit) by debbugs.gnu.org; 16 May 2025 15:42:19 +0000 Received: from localhost ([127.0.0.1]:40209 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uFxCT-0005Np-Oo for submit@debbugs.gnu.org; Fri, 16 May 2025 11:42:18 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56276) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uFxCQ-0005MB-Lj for submit@debbugs.gnu.org; Fri, 16 May 2025 11:42:15 -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 1uFxCK-0001rt-5g for bug-gnu-emacs@gnu.org; Fri, 16 May 2025 11:42:08 -0400 Received: from mail-lf1-x131.google.com ([2a00:1450:4864:20::131]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uFxCI-0000eG-8Q for bug-gnu-emacs@gnu.org; Fri, 16 May 2025 11:42:07 -0400 Received: by mail-lf1-x131.google.com with SMTP id 2adb3069b0e04-54d3ee30af1so2507915e87.0 for ; Fri, 16 May 2025 08:42:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1747410123; x=1748014923; darn=gnu.org; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=w/Ah1PKXHXxrnDAd/UfVEUwEHuYR2rTl22JqnuXIhdA=; b=R4OHDWtDAJ0UWIT29q2UHcuAtL0JsTa0Js/tbjiyjgQUxG8SN0I13+0nWxpA9VYqvY kLzsRRwO6RtJEcE5Wbs7YG407Y1doB0s/5SVjZCpbPQeDCwOBpVyD/mOaBNkCFVRf3IP Jx8R++uUaxwwqI9+u9DIIJIUMfeEqns0r94uBmMp8LazJzfmrBjYAZqUww6v/KSGsiUo uka4rQSx6DGkhZcsd9pOSrv9aTdpj66rpuArvSAaj9UvU9YHTogdIlyyK2PmPtGTuxKr gAw6j7JnOTmeRaLM75r5mRzrnlt9/z4n6aBp3Uh0Ba5wtFSZJs7Y6+YoQoXXHjoKYD4I WhSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1747410123; x=1748014923; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=w/Ah1PKXHXxrnDAd/UfVEUwEHuYR2rTl22JqnuXIhdA=; b=OuVEMOZeSupzAXdSrX11f+xX/OGXX+o82LCjUkbrLHXLXsDPZVwtACWgOfeGPlZrrt Ppfn1GDje64AcwfVkeluvF+ZcVbN4jVHl8PwTWcfwne4+VyU4V5rFMBHQj9BaPzmxZI/ Hsb90pdlo8vGeiL/gob/ts1vXnC7HMqoouDKL9NGVOeswF7cmieTNIHO4SzQkg2b16+u 4ueFdmG3tkPNCIuwgEmn1z4OWqNrakM3sGfyGMoqPCeHoJlcKhxY+MBlHW4QHNEekEFA GqFnldSg+Oei9AhkshM+7mmLoLBSGw3CEJP3f5cZCtwZcrqBSYEnaDByXzrD6MS01ALq Iwxw== X-Gm-Message-State: AOJu0YzjAaaOYLCd0ucHpVnaaF1ADp4vedVwIWUEYghBKREEWUixyBTZ 5Y8cOyvIHWg2CCjAemNnUTCbFqrDkrgx0eYCuB+ruxvKu3s9KDubMgwJ9qyABw== X-Gm-Gg: ASbGnctKljDNJhfZ3n/ki3Kf0F0En5hLeDLL6swizPcmm3zGVtYBI/kMPWVhl9zjFwI 2RVoiKoyjTfw0SxDC0OBugMRFScewQhkUyX+YPuFJNexkpWXvhJYy6ignf2noMjAcwiWWa+k5hS BbcIr2wB5/LL3XusnvZ9R8YvaytIWH4mG1wobNKtmiJmjxf3/K0uO6ttPKpW16KWsmGBvJWYlRe TCaLJ4f+AW8xmq0129Pmd4upBp8UHXq5BVWpD0gBGszHTV7XQWNlOVxIf/dKbDJFC4CfgpTkNqE MNT3C8WJilyZDPewUtgKsy2uuRUYIFMOwuRGG+0wq8JNqR8VLoPno2lncWWMDlGwO4mhH2ERpXZ jEcs77jXUXA4yYLMvVZ7auibzGgkbgy5vVGFY6virqQ== X-Google-Smtp-Source: AGHT+IEvwYTvDSB6eFwAGv6ImFgt2a+yOKT5qyi7mrRrynjjjAbCd57z4xoPCgBSlcyCoLRniSZ8Ww== X-Received: by 2002:a05:6512:10cc:b0:54b:117c:8ef4 with SMTP id 2adb3069b0e04-550e99686camr940004e87.55.1747410122634; Fri, 16 May 2025 08:42:02 -0700 (PDT) Received: from smtpclient.apple (c188-150-186-155.bredband.tele2.se. [188.150.186.155]) by smtp.gmail.com with ESMTPSA id 2adb3069b0e04-550e6f1622asm493346e87.25.2025.05.16.08.42.02 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 16 May 2025 08:42:02 -0700 (PDT) From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Subject: flymake related locations (ancillary diagnostics) Message-Id: <43A92179-E702-44F5-A4CD-0493695ED242@gmail.com> Date: Fri, 16 May 2025 17:42:01 +0200 To: Emacs Bug Report X-Mailer: Apple Mail (2.3654.120.0.1.15) Received-SPF: pass client-ip=2a00:1450:4864:20::131; envelope-from=mattias.engdegard@gmail.com; helo=mail-lf1-x131.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Spencer Baugh 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 (/) Flymake does not seem to have a way to attach related locations to a = diagnostic. These are 'info' or 'note'-level messages that follow an = error or warning and point out locations of interest, such as = definitions or conflicting code. Current, they become independent = diagnostics with no connection to the main message. This is unfortunate, because: * As interfaces typically sort diagnostics by location, these messages = often become detached from their context. The text is usually not meant = to be read in isolation, only as part of a single warning or error. = Example: myprog.q:98: error: variable 'zurk' is assigned an integer here myprog.q:12: note: declared with type string here When messages are sorted these come in the wrong order, possibly = separated with several unrelated messages in-between. * Since these info-messages make little sense on their own, it might be = useful to hide them (from the table of diagnostics and in-code = annotations) until the user selects their parent warning or error. That = also cuts down on colliding squiggly underlines or whatever is used to = mark locations in the code buffer. * The LSP protocol has explicit provisions for ancillary messages = ('relatedInformation') but Flymake cannot make use of it without some = additional hacks. There are various ways to fix this. For example: A. Keep a list of auxiliary diagnostics in the diagnostic object. This = seems easiest to work with and what I would suggest. It also corresponds = directly to LSP, if I understand it right. B. Tag all diagnostics that belong together in a group. This is what = Flycheck does and would make interoperability easier, but doesn't say = which diagnostic is the main one and in what order the auxiliary = diagnostics should come. What do you think? From debbugs-submit-bounces@debbugs.gnu.org Tue May 20 14:56:25 2025 Received: (at 78459) by debbugs.gnu.org; 20 May 2025 18:56:25 +0000 Received: from localhost ([127.0.0.1]:35656 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uHS8W-0004zb-GS for submit@debbugs.gnu.org; Tue, 20 May 2025 14:56:25 -0400 Received: from mxout5.mail.janestreet.com ([64.215.233.18]:50517) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uHS8S-0004yo-P8 for 78459@debbugs.gnu.org; Tue, 20 May 2025 14:56:22 -0400 From: Spencer Baugh To: Mattias =?utf-8?Q?Engdeg=C3=A5rd?= Subject: Re: bug#78459: flymake related locations (ancillary diagnostics) In-Reply-To: <43A92179-E702-44F5-A4CD-0493695ED242@gmail.com> ("Mattias =?utf-8?Q?Engdeg=C3=A5rd=22's?= message of "Fri, 16 May 2025 17:42:01 +0200") References: <43A92179-E702-44F5-A4CD-0493695ED242@gmail.com> Date: Tue, 20 May 2025 14:56:14 -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=1747767374; bh=SxeLBawDV9kEsaoz+J6d6m+w/cOQ+/T4MeA5sNmKsuo=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=E6Vy2OZbLxasVLoPIcfw3VGDpIuIH6aRARZPcsIkpujxcUbSGfNq49fe1gyVjnbqU 2RAG2IKYPpbLCYGEmoag6hryZBpVIUZ24DMqncuUCmAPr73teEwF5jOsI0yffbPTer +Y6r08ELPUTyi/otSJqvLko3nFpev9l4WYDziZ+TpoFP0V3mhmo/UrVnmOu4akNcC/ t9hiYjeGkVVHmhwfYA66DTmvyVuHAjb/F9W9RHqryyytNrRcbqxnwBiLuFj6UG5LTi njFuEoHnlRbJshGRlFKs+gM9qDSdAnBtJIWiJHh4TI8VI1sOm6NziFmjlmSt+nUn15 7g0o0W1vSWvkw== X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 78459 Cc: 78459@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: -3.3 (---) Mattias Engdeg=C3=A5rd writes: > Flymake does not seem to have a way to attach related locations to a > diagnostic. These are 'info' or 'note'-level messages that follow an > error or warning and point out locations of interest, such as > definitions or conflicting code. Current, they become independent > diagnostics with no connection to the main message. > > This is unfortunate, because: > > * As interfaces typically sort diagnostics by location, these messages of= ten become detached from their context. The text is usually not meant to be= read in isolation, only as part of a single warning or error. Example: > > myprog.q:98: error: variable 'zurk' is assigned an integer here > myprog.q:12: note: declared with type string here > > When messages are sorted these come in the wrong order, possibly separate= d with several unrelated messages in-between. > > * Since these info-messages make little sense on their own, it might > be useful to hide them (from the table of diagnostics and in-code > annotations) until the user selects their parent warning or > error. That also cuts down on colliding squiggly underlines or > whatever is used to mark locations in the code buffer. Yes, I agree that this is an important issue and that this should be fixed. > * The LSP protocol has explicit provisions for ancillary messages ('relat= edInformation') but Flymake cannot make use of it without some additional h= acks. As do many other flymake backends. I believe gcc for example can generate errors which indicate multiple locations, e.g. when there's a mismatch in type between two declaration sites. (And, of relevance to my site, the Dune build system has support for emitting "additional error locations" associated with a diagnostic, but currently flymake cannot use this.) BTW, another feature this would enable is cycling between the locations associated with a given error. When an error is due to a mismatch between two declarations, e.g., an auxiliary location might be in another file and it might be useful to be able to jump to that location and jump back. > There are various ways to fix this. For example: > > A. Keep a list of auxiliary diagnostics in the diagnostic object. This se= ems easiest to work with and what I would suggest. It also corresponds dire= ctly to LSP, if I understand it right. > > B. Tag all diagnostics that belong together in a group. This is what Flyc= heck does and would make interoperability easier, but doesn't say which dia= gnostic is the main one and in what order the auxiliary diagnostics should = come. I also much prefer A. Maybe the easiest thing to do would be to create individual diagnostic objects for each auxiliary diagnostic, and have a backend report all of them as individual diagnostics just as it would today - but to additionally have a list in the "primary" diagnostic which has a reference to each "auxiliary" diagnostic. Then the flymake UI could decide how to render these. That's just my initial thought though. Adding Joao to Cc, since he may have comments about how Eglot could make use of this, and if there's any issues we're overlooking. From debbugs-submit-bounces@debbugs.gnu.org Tue May 20 15:23:37 2025 Received: (at 78459) by debbugs.gnu.org; 20 May 2025 19:23:37 +0000 Received: from localhost ([127.0.0.1]:35941 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uHSYq-0007j8-9R for submit@debbugs.gnu.org; Tue, 20 May 2025 15:23:37 -0400 Received: from mail-wr1-x436.google.com ([2a00:1450:4864:20::436]:44339) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uHSYn-0007i2-CX for 78459@debbugs.gnu.org; Tue, 20 May 2025 15:23:34 -0400 Received: by mail-wr1-x436.google.com with SMTP id ffacd0b85a97d-3a36c2d3104so1825175f8f.1 for <78459@debbugs.gnu.org>; Tue, 20 May 2025 12:23:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1747769006; x=1748373806; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=M8Ow/dORxybPHbp3szH2BHYGYKMFlJPKi51SWd8x50Y=; b=Yyl7YHYGJ1BpDMkM3LtVAFmHbA1hoTiFXt1FZv26n6eQqJ8aFZwVb9rCUfVgPzJf+6 FFG6kgtyZYVh+/IhxMDTFGHt78d4WKkQ6tbhEOSIxtkEWwi8Qa3uC79Qy+I/rZMb5oZG fHtP+kV0GaN/gbAOAbljuV0fj+vbVSsxIf07KkoodpGatoGKYCjEdMJCFVcIr77f3l6X LsR62MsOnVdJgc9+wCU6Jr22ApgR25xLBewwTq/Kcf98X+VhsT1vufcApnRsKKfDjkDg n9WfATwpQfP5gMnhK4qEs0CzgsFRAGHN9WSoLgJ4upjB79QxS31mXe4Yp3Jnjja81QFA McTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1747769006; x=1748373806; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=M8Ow/dORxybPHbp3szH2BHYGYKMFlJPKi51SWd8x50Y=; b=GQQZsDfvfI1uKrynovRAS18IsvdlXoWMfw8sjSIrPP3O2933qd9gBIQ/B0427FS5sy SJG8YDM28vofeBkT98glkjCy+IX2V0AQU3JOsZbVDwZ0CP5lRtLcKVYS88+xqlZVLBz+ 2+QgMvweq8+FA1ggrvmtnxeBKa+cdtP2gptCFd0QG9JJVkzK8MdUIJ2QgclOn1v8abgh NwsadQZhtrm7esAgdZTccCLqCSXiKGNRRXDgpyCnBbRfQk9bMlA/GB1lp8rgOzc8odur /u+jzoQNgv/5Jo6dKuM+LRZJoRUx/EhLoT5s8q0mKMGgnp/BmIv8A7aGaHOaeqdC87Zt PImQ== X-Forwarded-Encrypted: i=1; AJvYcCWedLuyGDxRVvx2XMED2qNNkRUPGujLj1ePZXeBhc0ypqGNg5wMo+QVBXqUm+fkloyN4JDJfg==@debbugs.gnu.org X-Gm-Message-State: AOJu0YyVxv2W9Cn5pyuacelLHaHp4eMxsY7WkMRsHYRryQPwInQ1OLgs ziua1GiFjmTb5+JI7FOzAw6khf6X9X52I1KWwPQ83UQXkbZX/WYd9KfI0Sa0/g== X-Gm-Gg: ASbGnctBGzRUTqYQDW01inveyWcH/egrXHRE1icHcyzQT2MAUKnTLA7h4QrTm8D73iz BfiAQuRgsVtSPSLBmn64bHItQ9P6zgUo/MlBfhcdB9hd1CD2LdOBWM8W1Vfr5SzixCFaTjFQGdf 1weWV05q0EDRbI0Cr7u7EEhgB7iefgI31vc2BuMsU/HSZY/W4U9bhN37KG53OW5nQoXz8Zap67Y xm2PQTeUm6vUAOHPz2rO9m4REk5Yx1cC1aCEybeZFdHK6cv/SlhIHHbR7/kBlNwoDdmpg80q3Ag iDrGIJQwHlWnX7WSaRcrA7Bkgr9GwrlP90fhPy4vrMmEwAgFEdlkUK8f8FuMoqTrGA== X-Google-Smtp-Source: AGHT+IHe5532Cj4qGPDvKzhUV5e8edy3BUdrtxIlfWuq53j8lbgA4JOtYshWL5MiPJkkvSFN1A9lbg== X-Received: by 2002:a05:6000:2512:b0:3a3:6cb6:df14 with SMTP id ffacd0b85a97d-3a36cb6df94mr8808685f8f.39.1747769006046; Tue, 20 May 2025 12:23:26 -0700 (PDT) Received: from krug (87-196-80-95.net.novis.pt. [87.196.80.95]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3a36749f622sm13502056f8f.93.2025.05.20.12.23.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 20 May 2025 12:23:25 -0700 (PDT) From: =?utf-8?B?Sm/Do28gVMOhdm9yYQ==?= To: Spencer Baugh Subject: Re: bug#78459: flymake related locations (ancillary diagnostics) In-Reply-To: References: <43A92179-E702-44F5-A4CD-0493695ED242@gmail.com> Date: Tue, 20 May 2025 20:24:10 +0100 Message-ID: <878qmrgk6d.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78459 Cc: Mattias =?utf-8?Q?Engdeg=C3=A5rd?= , 78459@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 (-) T24gVHVlLCBNYXkgMjAsIDIwMjUgYXQgNzo1NuKAr1BNIFNwZW5jZXIgQmF1Z2ggPHNiYXVnaEBq YW5lc3RyZWV0LmNvbT4gd3JvdGU6DQoNCkhpIFNwZW5jZXIsIHRoYW5rcyBmb3IgYWRkaW5nIG1l LiANCg0KPiA+ICogQXMgaW50ZXJmYWNlcyB0eXBpY2FsbHkgc29ydCBkaWFnbm9zdGljcyBieSBs b2NhdGlvbiwgdGhlc2UNCj4gPiBtZXNzYWdlcyBvZnRlbiBiZWNvbWUgZGV0YWNoZWQgZnJvbSB0 aGVpciBjb250ZXh0LiBUaGUgdGV4dCBpcw0KPiA+IHVzdWFsbHkgbm90IG1lYW50IHRvIGJlIHJl YWQgaW4gaXNvbGF0aW9uLCBvbmx5IGFzIHBhcnQgb2YgYSBzaW5nbGUNCj4gPiB3YXJuaW5nIG9y IGVycm9yLiAgKiBTaW5jZSB0aGVzZSBpbmZvLW1lc3NhZ2VzIG1ha2UgbGl0dGxlIHNlbnNlIG9u DQo+ID4gdGhlaXIgb3duLCBpdCBtaWdodCBiZSB1c2VmdWwgdG8gaGlkZSB0aGVtDQoNCkkgbW9y ZSBvciBsZXNzIHN5bXBhdGhpemUgd2l0aCB0aGlzIGNoYW5nZSByZXF1ZXN0LCBhcyBJIHVzZSBh IGxvdCBvZg0KQy9DKysgYW5kIHRoZXJlIGFyZSB0aGVzZSB0eXBlcyBvZiBkaWFnbm9zdGljcy4g IFRoZXJlJ3MgYSBzcGVjaWZpYyBjYXNlDQp3aGVyZSB0aGV5IGJvdGhlciBtZSBhbmQgaXQgd2Fz bid0IGxpc3RlZCBoZXJlLg0KDQpJdCdzIHdoZW4gbXVsdGlwbGUgZXJyb3JzIGhhcmsgYmFjayB0 byB0aGUgc2FtZSBtaXNuYW1lZCB2YXJpYWJsZS9zeW1ib2wNCmFuZCB0aGVyZSBpcyBhbiBpbW1l bnNlIHJlcGV0aXRpb24gb2YgdGhlIGdyZWVuICJub3RlOiIgZGlhZ25vc3RpY3Mgc3VjaA0KYXMg aGVyZToNCg0KaW50IGZve307DQogICAg4pSc4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSAICdmbycgZGVjbGFyZWQg aGVyZQ0KICAgIOKUnOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgCAnZm8nIGRlY2xhcmVkIGhlcmUNCiAgICDilJTilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIAgJ2Zv JyBkZWNsYXJlZCBoZXJlDQp2b2lkIGYxKCkgeyBmb28gPSA0MjsgfQ0KICAgICAgICAgICAg4pSU 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSAIFVzZSBvZiB1 bmRlY2xhcmVkIGlkZW50aWZpZXIgJ2Zvbyc7IGRpZCB5b3UgbWVhbiAnZm8nPyANCnZvaWQgZjIo KSB7IGZvbyA9IDQzOyB9DQogICAgICAgICAgICDilJTilIDilIDilIDilIDilIDilIDilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIAgVXNlIG9mIHVuZGVjbGFyZWQgaWRlbnRpZmllciAnZm9v JzsgZGlkIHlvdSBtZWFuICdmbyc/DQp2b2lkIGYzKCkgeyBmb28gPSA0NDsgfQ0KICAgICAgICAg ICAg4pSU4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSAIFVz ZSBvZiB1bmRlY2xhcmVkIGlkZW50aWZpZXIgJ2Zvbyc7IGRpZCB5b3UgbWVhbiAnZm8nPw0KDQoN Ckhvd2V2ZXIsIG5vdCBvbmx5IGRvZXNuJ3QgdGhpcyBib3RoZXIgbWUgdGhhdCBtdWNoLCBidXQg aXQncyByZWFsbHkgbm90DQpjbGVhciB0byBtZSB3aGF0IGNvdWxkIGJlIGRvbmUgd2l0aCB0aGlz IGFuY2lsbGFyeSBpbmZvcm1hdGlvbi4NCg0KU2ltaWxhcmx5LCB5b3Ugc3VjY2luY3RseSBkZXNj cmliZSB0d28gY2FzZXMsIGJ1dCB3aGF0IGRvZXMgInNlbGVjdGluZyBhDQpkaWFnbm9zdGljIiBl dmVuIG1lYW4/ICBJIGRvbid0IHVuZGVyc3RhbmQuDQoNCkxldCdzIGZvcmdldCB0aGUgaW1wbGVt ZW50YXRpb24gZm9yIGEgd2hpbGUgYW5kIHRoaW5rIGV4YWN0bHkgd2hhdCBvbmUNCndvdWxkIHdh bnQgdG8gdGhlIFVJIG9mOg0KDQoxKSB0aGUgRmx5bWFrZSBkaWFnbm9zdGljcyBidWZmZXIgDQoy KSB0aGUgaW4tY29kZSBhbm5vdGF0aW9ucyAoaW5jbHVkaW5nIHRoZSBvdmVybGF5cyBjcmVhdGVk IHdoZW4gZmx5bWFrZS1zaG93LWRpYWdub3N0aWNzLWF0LWVuZC1vZi1saW5lIGlzIG5vbi1uaWwp Lg0KMykgdGhlIGNvdW50ZXJzIGluIHRoZSBtb2RlLWxpbmUNCjQpIHRoZSBFbERvYyBvdXRsZXQN Cg0KLi4udGhhdCBjb3VsZCBzb21laG93IHRha2UgaW50byBhY2NvdW50IHRoZXNlIGdyb3VwcyBv ciByZWxhdGlvbnMNCmJldHdlZW4gZGlhZ25vc3RpY3MuDQoNCkN1cnJlbnRseSwgZXhjZXB0IGlu IHJhcmUgY2FzZXMsIGRpYWdub3N0aWNzIGFyZSBub3QgaW50ZXJhY3RpdmUgKGluDQp0aG9zZSBj YXNlcyB0aGUgVUkgaXMgZ2l2ZW4gYnkgYW4gZXh0ZXJuYWwgbGlicmFyeSwgc3VjaCBhcyBFZ2xv dCkuDQpUaGVyZSBpcyBhbHNvIG5vIHdheSB0byAiZmlsdGVyIiB0aGVtIHVubGVzcyBhIHNwZWNp YWwgVUkgb3V0c2lkZSBvZg0KRmx5bWFrZSBpcyB1c2VkLg0KDQpPbmx5IGFmdGVyIGNsZWFubHkg ZGVzY3JpYmluZyB0aGlzIFVJIHNob3VsZCB3ZSB3b3JyeSBhYm91dCBvdGhlcg0Kc3R1ZmYuIEFu ZCB5ZXMsIHRoZXJlIGlzIGEgcGxlbnR5IHRvIHdvcnJ5IGFib3V0LCBzdWNoIGFzIHdoYXQgdG8g ZG8gaWYNCmEgYmFja2VuZCB0ZWxscyBGbHltYWtlIHRvIHJlcGxhY2UgZGlhZ25vc3RpY3MgaW4g YSByZWdpb24gdGhhdCBsaW5rIHRvDQpvciBhcmUgbGlua2VkIGJ5IGEgZGlhZ25vc3RpYyBvdXRz aWRlIHRoYXQgcmVnaW9uLiAgQW5kIHdoYXQgdG8gZG8gaWYNCmxpbmtlZCBkaWFnbm9zdGljcyBh cmUgaW4gZGlmZmVyZW50IGxvY2kgKGEgbG9jdXMgbWF5IG5vdCBiZSBhIGJ1ZmZlcikuDQoNCkpv w6NvDQo= From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 14 15:19:28 2025 Received: (at 78459) by debbugs.gnu.org; 14 Jun 2025 19:19:28 +0000 Received: from localhost ([127.0.0.1]:44663 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uQWPX-000326-Jh for submit@debbugs.gnu.org; Sat, 14 Jun 2025 15:19:27 -0400 Received: from mail-lf1-x131.google.com ([2a00:1450:4864:20::131]:51351) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uQWPV-00030d-AY for 78459@debbugs.gnu.org; Sat, 14 Jun 2025 15:19:26 -0400 Received: by mail-lf1-x131.google.com with SMTP id 2adb3069b0e04-55350d0eedeso3053469e87.2 for <78459@debbugs.gnu.org>; Sat, 14 Jun 2025 12:19:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1749928759; x=1750533559; darn=debbugs.gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=THroGKL7ZrtIeof4+8bN82WBo3y8Vv8ygQ1ADgs8DAI=; b=NnoXsW2/KIyvpr7WOdjA/fjN5Lsa0+ERk6QgHKeE4nmf75snYFfg61Gj/rckOy8zxq ZSLMvobtVqIzEOEmbx71E0rlXHy2xc6qUfxlLYdJNoSiXQlF/TxdSFloO86XRoL9ukVI zpognHOZL2ej+IzjcM3Yh7cysWdQX8P7sfXj+qH2NbhpLAaezY1SFQHVcr+PIl3VYUEA ibz0OyIN5eIEnWJXBIpepegt1ueISqIaiGV2dGpGUl9rgVDZds34Nuvl4gmCiei51tmt iBBWC5wLQyGNcY3muzhJhGVC23HoQva0bSEGJmGsIKfvFzPHGObSZ7RacDDzSGri54Cp 3Vow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1749928759; x=1750533559; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=THroGKL7ZrtIeof4+8bN82WBo3y8Vv8ygQ1ADgs8DAI=; b=q4R4GDYwDkE0tq8wOtlHLtveV9Deg+9Jj/j/X8RjrXUFR5rHDJj9iA47NQ0PiVOkhY DBrJP+jak/VFl1KISIjc1Y7bQ1ko3SE7TdBFeWqs6DDjUjcCqoatsAyuUrBpsERDpJVK ACsxZplbCbAdzkgQv53IzpcIvwnMgT3Dk24/+zcj9nv+ei0R5+H2KUaviwaJlcCLuh7Y X2amF6FzRlSdrS1zXCWOa3YgELJvDR0vRqHPwz+6LdXkVRQ1OPKkRnIkdMIkWEQUTghq aaj6HBLb5/vEPuRxIe1isd8vrpmpjxY0zqTXgKNBq0qXrGVPyc4QTstbILm1Q2wW2mJI u3WA== X-Forwarded-Encrypted: i=1; AJvYcCUOOgdMh/upEqoPnx1NwK7TFtbFe63wwtSJRkazaLCCdq8dnXxZzNOb0kHwayKsEDfH2To9Fw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwiYgrhb1O5fxUb7Ht4bfEgBJzdmBSU670XLwE+5k8pj7C2g2tI 7RK+523/Y9gPe+gUm17sXB7aT5brumAzyIlp9nEbAJq5Oki7zXxF0Xmd X-Gm-Gg: ASbGncsQUXYXI4ys8UQFAmzmfMKaPQMekJk3dJOguGF6tC3w/B6koUw716nh4pzPK7A y3P7VNQIuSSq9ikAO6/VwVc5V/xpldHDDycllGCkCoszDpr0QHSosFHTHZ2Qxx+TdAvKimhCth7 hu3uOGEo+/QV5WxCMLRomuGuiY04SUY7qZBaRPbRfzOYHyPIKN5YeLSRs7E2pgkBWxt+n4IrjfN l5WSr5+M9kzXV2vtBZ86NSaVl6cO0l4zpYy7Ox1SvE/cc2O+9m+6ItDEQaDQBU8uTqHeiPXcOTC jkJiym8Mf0ITmpdb5HemUSlJJbA7hYV3ZB5HtCX6bLm3KZBvZsG9Mz2UgU51uRvhK7gJTRem/mP zwRvxABHkGeSd/k/R2bWlc+jVDsJruxMknM/HtSw9xbJB2T0Qlx3k X-Google-Smtp-Source: AGHT+IH7D3ImWDSIW3NIR0vaCmEpqAIdNCWX1U4orxUkEjEXeY4kgqqmCHCv2m9cZOCkYbUL2LZyCw== X-Received: by 2002:a05:6512:3055:b0:553:3314:adcf with SMTP id 2adb3069b0e04-553b6e7d239mr888728e87.5.1749928758289; Sat, 14 Jun 2025 12:19:18 -0700 (PDT) Received: from smtpclient.apple (c188-150-186-155.bredband.tele2.se. [188.150.186.155]) by smtp.gmail.com with ESMTPSA id 2adb3069b0e04-553ac136104sm915251e87.77.2025.06.14.12.19.17 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 14 Jun 2025 12:19:17 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Subject: Re: bug#78459: flymake related locations (ancillary diagnostics) From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= In-Reply-To: <878qmrgk6d.fsf@gmail.com> Date: Sat, 14 Jun 2025 21:19:15 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: References: <43A92179-E702-44F5-A4CD-0493695ED242@gmail.com> <878qmrgk6d.fsf@gmail.com> To: =?utf-8?B?Sm/Do28gVMOhdm9yYQ==?= X-Mailer: Apple Mail (2.3654.120.0.1.15) X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78459 Cc: Spencer Baugh , 78459@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 (-) 20 maj 2025 kl. 21.24 skrev Jo=C3=A3o T=C3=A1vora = : > Similarly, you succinctly describe two cases, but what does "selecting = a > diagnostic" even mean? I don't understand. I didn't really have a specific method in mind. The user could do this = actively, perhaps by clicking or pressing a key in the table of = diagnostics or the code buffer. It could also be automatic, selecting = the diagnostic when the user is lingering nearby. One thing we can use that information for without user selection is = keeping related locations and messages together in the table of = diagnostics, so that sorting them by position doesn't result in a = scrambled eggs list. This alone would be an improvement. Right now, = there isn't even a way to convey the information to flymake.