From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Tracking buffer positions across time, without markers (was Re: PL support) Date: Sat, 9 May 2020 23:45:13 -0400 Message-ID: <7f8bdd43-f4d7-e0a8-dcfa-6679215f9d44@gmail.com> References: <6a2c7d18-344e-fefb-63d5-79a99d0532fc@gmail.com> <942a8cb1-0382-cf83-5ff9-4e776c2660f0@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="42288"; 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 developers To: =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun May 10 05:46:07 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 1jXcuk-000Atf-Be for ged-emacs-devel@m.gmane-mx.org; Sun, 10 May 2020 05:46:06 +0200 Original-Received: from localhost ([::1]:56076 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jXcui-0006EP-T8 for ged-emacs-devel@m.gmane-mx.org; Sat, 09 May 2020 23:46:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48832) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXcty-0005BF-7I for emacs-devel@gnu.org; Sat, 09 May 2020 23:45:18 -0400 Original-Received: from mail-qk1-x733.google.com ([2607:f8b0:4864:20::733]:39657) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jXctw-0004f7-OG for emacs-devel@gnu.org; Sat, 09 May 2020 23:45:17 -0400 Original-Received: by mail-qk1-x733.google.com with SMTP id s9so5337000qkm.6 for ; Sat, 09 May 2020 20:45:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=h+KYr5DAQkNwIzY1pm4TsVkLgW/tiaSjsq6epGAjlps=; b=DW05yjgziJdn7r8xQFmuAUp8chQDY21O5B8xo40XHRIVPTVbJlDaVps13MX8iARi+O UF2IGd+ZXMap0Vwl6uENLunkcwQYHa/UgOloG1Z+Qzugvvf/cq+zpQQlde84FWczZBeF UJJ0V/8bqcb5cVD01e1TKOkQHFH1IUNMncW8n2Qf5LnkgvogmgOfSB0ksuWoZZrQRvoZ 1wU/aMUAGiI6iUjQ5zl8GV8J6HVFYFq8+5PelGqwJuAmeqmVW1P3yjIobLdpD0K0PuVt HztlBedV/SbKaT8a6jqgmgg4g5+BMUqDq9pMPMoMTwJzKpoLIwwbK5avgDYDM5eqLZrh pbcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=h+KYr5DAQkNwIzY1pm4TsVkLgW/tiaSjsq6epGAjlps=; b=ntrjmg44eqjJ19LPDGVHgQ0xLY55mOpJs+v0pwccGkpYOqfkIEHbLvHCkgoLRTX/sa +hjUccchlPgCziXhja5PT1GEDdduiKJ/+10oppOf3ASGgLV64nfV2LiLktxF0lTIhurp TUoJZQ4odZ2jBRGuOfaP+M+ik9Jac672XjwDwxNm3Jw9e/5IlfiC8EILLKbzeWHFL9yf oZzWrbQcVx6KzvWLAgtW1fJA6JVJn9IH2/v7cnvBc3xwDyhd9mSVq9Pfy096E+gcik5T Pj/OdXe1TCKemYeaU3joOciWd8HZQE2z2rVQCGylhjfAud31grjIA6AkpG0QiAC/qFLa DUyA== X-Gm-Message-State: AGi0PuakLnNibP9gaQMzT9OO20Pyw/lMvJirLHy/YcjZYuamC4PW0pP+ 4Jw11LNF6aWNXV08paZi1624b6bP X-Google-Smtp-Source: APiQypLILMapGQ2iDVBzssEHwe5gHPe7R5aYqrZDbYqFIybB+43fzob/84t//YhnmNS2epuUSwVF9Q== X-Received: by 2002:a37:a806:: with SMTP id r6mr9726112qke.171.1589082315536; Sat, 09 May 2020 20:45:15 -0700 (PDT) Original-Received: from ?IPv6:2601:184:4180:66e7:4d17:b25e:8d9:2188? ([2601:184:4180:66e7:4d17:b25e:8d9:2188]) by smtp.googlemail.com with ESMTPSA id l24sm5535543qtp.8.2020.05.09.20.45.14 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 09 May 2020 20:45:15 -0700 (PDT) In-Reply-To: Content-Language: en-GB Received-SPF: pass client-ip=2607:f8b0:4864:20::733; envelope-from=cpitclaudel@gmail.com; helo=mail-qk1-x733.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: -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_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:249632 Archived-At: On 09/05/2020 19.26, João Távora wrote: > This is done with an idle timer, much the way that Flycheck > works, I believe. Yup, it's a longstanding issue in Flycheck ^^ > > A bit. But this works only if the interaction is fast enough, right? (Same for syntax errors: positions may well be outdated by the time the errors come back) > By that time another request is probably already underway. As long as the requests are fast. With slow checkers (typically, proof assistants and automated reasoning tools, a single query can easily take a minute — by that point lots can have changed in a buffer. The APIs that make this work in Visual Studio (spans and snapshots) are described here: https://docs.microsoft.com/en-us/visualstudio/extensibility/inside-the-editor?view=vs-2019 I'd love to hear opinions on what the proper implementation of this would for Emacs be.