From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.bugs Subject: bug#62333: 30.0.50; Issue with tree-sitter syntax tree during certain changes Date: Wed, 29 Mar 2023 00:08:53 +0300 Message-ID: <290987e0-821e-a231-c1c4-b40bb9542ffe@yandex.ru> References: <87fs9yur7r.fsf@gmail.com> <83sfduelab.fsf@gnu.org> <8FC25A01-6934-43BB-899C-CA5926BEA3CF@gmail.com> <83jzz5c8ml.fsf@gnu.org> <83edpdc6sn.fsf@gnu.org> <1ca302bf-99dc-7f9e-8544-063064a1cb21@yandex.ru> <831qlcdisi.fsf@gnu.org> <398721ad-79b0-3f6d-97b3-4902d9bfbe39@yandex.ru> <83wn34c2qa.fsf@gnu.org> <3b3d82d1-f0f6-a768-a5db-8dc9386a5a34@yandex.ru> <83r0tcbz8g.fsf@gnu.org> <1967361679760225@umbzx4hqxrw5qxo7.sas.yp-c.yandex.net> <83mt40bxzd.fsf@gnu.org> <83jzz4bugh.fsf@gnu.org> <3d64520c-54da-a04a-ed0d-a66b4e753f8a@yandex.ru> <831qlcaysh.fsf@gnu.org> <29679184-7366-0167-9e94-def97048f663@yandex.ru> <83v8inal29.fsf@gnu.org> <9886ffa5-ead2-50d5-a325-f6704b736ada@yandex.ru> <728618716b8c5349d27e@heytings.org> <83bkke9uue.fsf@gnu.org> <83ilel861g.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29479"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 Cc: wkirschbaum@gmail.com, gregory@heytings.org, casouri@gmail.com, 62333@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Mar 28 23:10:23 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1phGaF-0007UC-2o for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 28 Mar 2023 23:10:23 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1phGZw-000313-Py; Tue, 28 Mar 2023 17:10:04 -0400 Original-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 1phGZv-0002za-7N for bug-gnu-emacs@gnu.org; Tue, 28 Mar 2023 17:10:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1phGZu-0004R1-VY for bug-gnu-emacs@gnu.org; Tue, 28 Mar 2023 17:10:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1phGZu-0007nn-Az for bug-gnu-emacs@gnu.org; Tue, 28 Mar 2023 17:10:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Dmitry Gutov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 28 Mar 2023 21:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 62333 X-GNU-PR-Package: emacs Original-Received: via spool by 62333-submit@debbugs.gnu.org id=B62333.168003774429896 (code B ref 62333); Tue, 28 Mar 2023 21:10:02 +0000 Original-Received: (at 62333) by debbugs.gnu.org; 28 Mar 2023 21:09:04 +0000 Original-Received: from localhost ([127.0.0.1]:50791 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1phGYy-0007m8-Bu for submit@debbugs.gnu.org; Tue, 28 Mar 2023 17:09:04 -0400 Original-Received: from mail-wr1-f43.google.com ([209.85.221.43]:34330) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1phGYw-0007ld-0M for 62333@debbugs.gnu.org; Tue, 28 Mar 2023 17:09:03 -0400 Original-Received: by mail-wr1-f43.google.com with SMTP id v1so13587967wrv.1 for <62333@debbugs.gnu.org>; Tue, 28 Mar 2023 14:09:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1680037736; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:from:to:cc:subject:date:message-id:reply-to; bh=As5PxiKL/s6cd9ZFt7LL0G9HvxEPifsCiyBeFe7NmNU=; b=j8O2jisP9rDpslYyYNfa3TXtNitkHxhF4l3iddV6U34PgT0VHwgVx6YYEXwmMoUIIB Ap7VeLnxs5uxA7v1chE+DoR5T+WEdR0GqgBdF1GUjiJfrEyKHKLykVGqaJn1wVwUHZ95 26hg1QB02w5XzMaJHlJfIAmKv/dOGfQqX9AY8djFoPtamPi9sFIKT/Xytzv5dB1SLoER K1kTVNRPt0STe5lcN5PDlPcdOlKdr1kA/xh+l3ggw+VsTii3umuPE5oL0+3MxRkg5smN rpAVXugvXOk3pwRKD+Ual6dmVmT98dUoEx/3UOIYN5qBgY/HUdLgAZ4PSQnxWuQbR7Cj l47Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680037736; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=As5PxiKL/s6cd9ZFt7LL0G9HvxEPifsCiyBeFe7NmNU=; b=QkWzItrN5x57UiSf+FZCg9j7V+VysVLf7cyQbWpNSGT/oG4qo+JKdJjMObjGkdmYox OL8mM6hNOYoCbtemKQoVdGZ/f2oY7e39N3l03ue8XZflCRgW5PRIRrXh1Uod636EbPoA tPKgdgoIxOIQ2PfLevjxSbyWX8w0Mjel/Pw6vG9fLGOYVgVRRpPgMo+7D4w184+VLwdb rrRClKdItuzs9wy9I205Z2nHfwXhJbkeQsBYN4CJdTcKmhcB1IepNC6qQllB+K1IOeDt W/ERwPAXpm2T+GZjUw0fsyFR71EFR9l8LGqMeffxoDo6fP95GrsTEPCVvDP9O8DKZr6y 7RSw== X-Gm-Message-State: AAQBX9c48mxrf27rocyfYiz+uM9figC0OQnGkCqx2LMutFSlLsdRpZ5q 5qN3fIbZCkyhwb4rWIUMYGk= X-Google-Smtp-Source: AKy350YSolaoSbSamBX+WLZhWt0K3HW+MkJ1/S8q+wF//2PzgYmneyLPl4ZbSzHIuTX9XmoulXddhA== X-Received: by 2002:a5d:6411:0:b0:2c7:1e16:57cf with SMTP id z17-20020a5d6411000000b002c71e1657cfmr13351206wru.67.1680037735850; Tue, 28 Mar 2023 14:08:55 -0700 (PDT) Original-Received: from [192.168.1.2] ([31.216.80.60]) by smtp.googlemail.com with ESMTPSA id h3-20020a05600c314300b003e1202744f2sm13655409wmo.31.2023.03.28.14.08.54 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 28 Mar 2023 14:08:55 -0700 (PDT) Content-Language: en-US In-Reply-To: <83ilel861g.fsf@gnu.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:258825 Archived-At: On 28/03/2023 14:32, Eli Zaretskii wrote: >> Date: Tue, 28 Mar 2023 02:06:17 +0300 >> Cc: wkirschbaum@gmail.com, casouri@gmail.com, 62333@debbugs.gnu.org >> From: Dmitry Gutov >> >> On 27/03/2023 16:39, Eli Zaretskii wrote: >>>> Date: Mon, 27 Mar 2023 08:24:42 +0000 >>>> From: Gregory Heytings >>>> cc: Eli Zaretskii,wkirschbaum@gmail.com,casouri@gmail.com, >>>> 62333@debbugs.gnu.org >>>> >>>>>> Which is a fragile, semi-broken means, as we all know. >>>>> What is a broken mess, is user-level narrowing. And how the downstream >>>>> code can never guess the purpose the narrowing was applied for. >>>> Note that this is what labeled narrowings attempts to solve. >>> Labeled narrowing cannot solve this because it does nothing to >>> alleviate the problems with user-defined narrowing. So if the user >>> narrows the buffer, we cannot do anything to safely widen in the >>> general case, and labeled narrowing cannot help us. >> >> Is that because we don't think the user level narrowing is done purely >> for visual effect? > > Indeed, it isn't always for visual effect. When isn't it? Is there a way to determine that from code? >> judging by regular user requests for make this or that command >> ignore user-level narrowing, it seems like "purely visual" should be the >> default interpretation. > > I think you base your judgment on feedback from users who are not used > to take advantage of narrowing in editing. I think most young people > aren't, since this feature is more-or-less unique to Emacs. Either narrowing should be used to change lexical/grammatical/etc context, or it should not. Do we have any documentation that says one or the other way? That should affect how Lisp code deals with narrowing -- which interactive functions should widen, and so on.