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: Sat, 23 May 2020 04:29:30 +0300 Message-ID: <74805320-1b7f-c7d9-9f80-72572c1e3dc5@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> <29756ecf-21ad-0f99-33c0-b01e342a577c@yandex.ru> <6901ff70-6006-dca1-6a66-397e7e373a34@gmail.com> 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="64690"; 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 To: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat May 23 03:30:03 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 1jcIzC-000GkU-Ky for ged-emacs-devel@m.gmane-mx.org; Sat, 23 May 2020 03:30:02 +0200 Original-Received: from localhost ([::1]:52296 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jcIzB-0005fR-LZ for ged-emacs-devel@m.gmane-mx.org; Fri, 22 May 2020 21:30:01 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40218) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jcIyl-0005GR-2l for emacs-devel@gnu.org; Fri, 22 May 2020 21:29:35 -0400 Original-Received: from mail-wr1-x42c.google.com ([2a00:1450:4864:20::42c]:41141) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jcIyk-0002nM-Fr for emacs-devel@gnu.org; Fri, 22 May 2020 21:29:34 -0400 Original-Received: by mail-wr1-x42c.google.com with SMTP id h17so12005648wrc.8 for ; Fri, 22 May 2020 18:29:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:subject:to:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=ztf+VJ4Eb/1vEtLGldOiUT+sCwG62ngK7aXrzs2pMU8=; b=ECUpgmMVGSAtOS1sMAbSwd51OSIC/4fahRDMKQjS/r6OhRYUMAk0R/bSL21jJluql+ KW7IpMp/aoDuvmy+vR+9ini8ApK7az2wH+AffZgtNXQitpSIenDK+Zr2N79b7bOW8DWx 6FzbA4g/Q37TpwYQHKi/pnw98zxFdXZoZvfrsVAgKGKaF7Dk2xCYM5MPZ0a00s4xVgiG 0YZdvGg1EvLHpmuOzgGJiSmYsOCgdeqZaSF8dohzf7piQnmzLyD93R5Psv/4Jsgy5gyY uUUbaZ74z67COjhgnhbklhHd8eMnx8MSd5zmFmxtRHuQJLCnpJEKyU4/gXiBwgaqX7Vy NxHg== 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:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=ztf+VJ4Eb/1vEtLGldOiUT+sCwG62ngK7aXrzs2pMU8=; b=EbxDHSwVxXR+DqxNUP8ETcgtXvb0fKSGBOHv7GWKLEVLcSBA9e/U42pikSNHYkyC3s WJcTIj0hjUxP56noXWvq4V69rPP4Q38kmKSrmcsvyyza8/DV/lC2QhAJnwCeYcy0lE5i IqPsCykAZS82dcmUipH8SUJXf+S6MmkvsxdunFim4iOH/ibgCvp6ZewBQfHMZPBlKoTu bayni1x7Ih5qKbzO/benncyU+AygvwJY8GI37AfLYVCWZVt5Ke+KgjEyzx9brSlNNqlR +dj87ppt+A5LnBzQeqTSjinBgXIW1S/Ew/SwtNtZan3bF4DxR//moyPW8n6YlacHm35W UmBA== X-Gm-Message-State: AOAM532XrJ2Ad9TnAyf2BNO6LPFjn+HvkFZrlTGoQyY13OpmVtowyn68 ONZTj2sHuu+ctwlU2MCPUzwXvdUG X-Google-Smtp-Source: ABdhPJzZadABGuoQKvuCwqEsge3ViayNqUdQJviGOAY4D6iz6cd5UATfv5tCrKPAi/PUpD50sscQoA== X-Received: by 2002:adf:fdd0:: with SMTP id i16mr5433815wrs.389.1590197372654; Fri, 22 May 2020 18:29:32 -0700 (PDT) Original-Received: from [192.168.0.3] ([66.205.73.129]) by smtp.googlemail.com with ESMTPSA id j2sm3902205wre.52.2020.05.22.18.29.31 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 22 May 2020 18:29:32 -0700 (PDT) In-Reply-To: <6901ff70-6006-dca1-6a66-397e7e373a34@gmail.com> Content-Language: en-US Received-SPF: pass client-ip=2a00:1450:4864:20::42c; envelope-from=raaahh@gmail.com; helo=mail-wr1-x42c.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:251261 Archived-At: On 23.05.2020 04:25, Clément Pit-Claudel wrote: > Ah, how surprising. Currently we set next-error-function in the main buffer, not in the error list, in part because the error list is built lazily (we don't construct the error list buffer until you've requested it, so next-error-last-buffer would be nil most of the time) Yeah, so then next-error navigation won't work before the user calls flycheck-error-list explicitly. I agree that might be suboptimal, so maybe some more advanced design is required.