From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.devel Subject: Re: next-error use cases Date: Sun, 24 May 2020 17:25:05 +0300 Message-ID: <0930fc96-1b5e-a066-5554-0181134a0c51@yandex.ru> References: <87zi2esn7l.fsf@mail.linkov.net> <87r2nknpaz.fsf@mail.linkov.net> <83y3hr5z35.fsf@gnu.org> <87d0z2anv8.fsf@mail.linkov.net> <871rnfbmll.fsf@mail.linkov.net> <69a40b7c-2a00-1c24-452f-b62d414e04bf@yandex.ru> <87sgft110l.fsf@t510.orion.oneofus.la> <7e53d4be-30b8-ead5-bd3d-8ee15c81f6d6@yandex.ru> <87v9kprli7.fsf@mail.linkov.net> <2f15a0bb-7eeb-2ab7-a203-d360576a5649@yandex.ru> <87pnav23cx.fsf@t510.orion.oneofus.la> <788f67bd-bc95-efc1-b1fa-ab3bfeb7ee5b@gmail.com> <70e1367f-a17b-ca0f-371c-ca566ed0e4f6@yandex.ru> <152f1200-a2d0-e137-418f-18ceb14fbbe3@gmail.com> <65bb4709-f4db-2dcd-fa12-0ce1fcdb7637@yandex.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="103440"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 Cc: emacs-devel@gnu.org To: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= , Vladimir Sedach Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun May 24 16:25:46 2020 Return-path: Envelope-to: ged-emacs-devel@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 1jcrZS-000Qoe-3J for ged-emacs-devel@m.gmane-mx.org; Sun, 24 May 2020 16:25:46 +0200 Original-Received: from localhost ([::1]:45294 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jcrZR-0005a1-6P for ged-emacs-devel@m.gmane-mx.org; Sun, 24 May 2020 10:25:45 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:43618) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jcrYv-00052U-UJ for emacs-devel@gnu.org; Sun, 24 May 2020 10:25:13 -0400 Original-Received: from mail-wm1-x330.google.com ([2a00:1450:4864:20::330]:33668) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jcrYu-0006A1-SS for emacs-devel@gnu.org; Sun, 24 May 2020 10:25:13 -0400 Original-Received: by mail-wm1-x330.google.com with SMTP id j198so1338385wmj.0 for ; Sun, 24 May 2020 07:25:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=DH77YyxjYcTTF2trFTdZGgmQu2XPsQCq0poNbqnEg0w=; b=rR3cafJfK7Yx82+zfmy0EpFC8nTBZ16lK3UDJtpwSlucEQvWDMwssuIqzuhdAD2niV lWVVaEQxOsJKPoAGX828BF8SjmAqsWGmEAJerBWXVNkq9yPZYjYjLTt3Vs2bFGiQyR/K J2xv/sIKB3Q2nF3W1AOGR4PPMmYVodacbdNUbNYWqnnIqyj6gXZsFglPMXw6aZMC4oA9 3T2bmbOTFjXSDigg9P0W5jCeUd4lwWg/QdiT2F7EQhA/ssnrU+RFQ8fHaAygn63HnomO lrNCnL6FhmayUmxc2eVh/peeOsOWpSBHrLcJNI2ka4r8P/okzvrHlF7CZc7is5GbONcb cwEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:subject:to:cc:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=DH77YyxjYcTTF2trFTdZGgmQu2XPsQCq0poNbqnEg0w=; b=RfWf193/EL7Xr/d9v5kDJp7babbxmWudKyA87vbhQOiXdudLrX8W7XhxgGQxPVGPPB SIXQPrTiYcV+S7eCbCcQPZeYYOR57a9xZRCG9gBVwijXgX3/23zFbRZFipQf64gxtaxT LVDektjOyQuht/kOMJ3hiXx2zv7qgo7sU9mzgi7KlXQH/DpuDNO6pdaGcU6S0s5HG5mc fv/ftYfgoIoRJtShXCQePWO4UsKWk5RCr/BuxjcBtZYE4hedGxJPNYeGUy+oZFGtc0Ug PnvVPZgGHXRPPwLO6GoI19HmBwh14YpUVLWmIRdrqF1di3bhFVpHXO0RZlLG+D3dItxw jfXw== X-Gm-Message-State: AOAM533SLxRfVk95X1NAIv50lzm59S3vFmv/fSQdMUNzgZYX8Yz9U+0s 9Q+RHcTOTbAVC4GPSkskxfHEi5qi X-Google-Smtp-Source: ABdhPJyIQvD9LXGSNqyCewhF+BzZicZoU97dlDvTlF8ov5GK7joPccF895rlqWpEPBF/Nh2/rWzG8g== X-Received: by 2002:a1c:2681:: with SMTP id m123mr3285118wmm.162.1590330310793; Sun, 24 May 2020 07:25:10 -0700 (PDT) Original-Received: from [192.168.0.3] ([66.205.73.129]) by smtp.googlemail.com with ESMTPSA id z206sm2782884wmg.30.2020.05.24.07.25.07 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 24 May 2020 07:25:09 -0700 (PDT) In-Reply-To: Content-Language: en-US Received-SPF: pass client-ip=2a00:1450:4864:20::330; envelope-from=raaahh@gmail.com; helo=mail-wm1-x330.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.001, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.249, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:251318 Archived-At: On 24.05.2020 04:41, Clément Pit-Claudel wrote: > On 23/05/2020 21.36, Dmitry Gutov wrote: > >> For error navigation, it /could/ be a better idea, but IMHO it's like we'd be giving up and creating a parallel set of variables and commands for "local" errors. And necessitate a "muscle memory" context switch when one goes from "local" errors to "global" or back. One set of bindings would also have to be more awkward than the other. > > Good points all around, and I don't have much more to contribute :) Perhaps you have thoughts on which particular usage pattern is more prevalent? I should add that we're currently defaulting to approach #1. Even if Flymake doesn't have bindings by default, we will add some, and they'll mirror Flycheck's ones by default. As a result, we'll already have two parallel sets of bindings for "local" and other errors: next/previous-error and flymake-next/previous-error. So the question is, is there a reasonable scheme to use next-error/previous-error for Flymake's errors without severe side-effects, or we should stay with the current situation. Whereby I'll bind M-n and M-p to Flymake's commands locally and leave next-error/previous-error on M-g M-n/p. >> There's also another wrinkle: I think there was a proposed feature for Flycheck to list errors for multiple files (or the whole project) together? 'next-error' could be handy for jumping between those too. > We do this currently already, and the idea is that all external errors are converted into local errors on line 1. > In the error list they appear with a file name and a line number in that file, so if you were to cycle errors relative to that list you would visit files one by one, and if you were to visit errors relative to the buffer you'd go through all local errors then jump to another file with errors, if any. In that case, maybe one could say that Flycheck errors are not always "local" either?