GNU logs - #73376, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#73376: Treesitter does not rescan after indentation
Resent-From: pranshu sharma <pranshusharma366@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 20 Sep 2024 07:02:01 +0000
Resent-Message-ID: <handler.73376.B.172681566924357 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 73376 <at> debbugs.gnu.org
From: pranshu sharma <pranshusharma366@HIDDEN>
Date: Fri, 20 Sep 2024 17:00:39 +1000
Message-ID: <8734lustbc.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Received-SPF: pass client-ip=2607:f8b0:4864:20::62d;
 envelope-from=pranshusharma366@HIDDEN; helo=mail-pl1-x62d.google.com
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_AU=-0.1, DKIM_VALID_EF=-0.1,
 FREEMAIL_ENVFROM_END_DIGIT=0.25, 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.1 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.1 (--)


After indenting, treesitter does not rescan the region.  This causes
errors in the concrete syntax tree, which mess up indentation and syntax
colouring.

The issue I'm having is kind of hard to explain, but in a summary I have
the poorly indented code, where what's between '_'(which is not in the
code itself) is coloured:
---------------
f x =
               let _a_ = 2
                   _c_ = 1
  in a
--------------
Then when I indent it with haskell-ts-mode, I get:
---------------
f x =
  let _a_ = 2
      c = 1
  in a
--------------
When the 2 snippets of code have the exact same meaning.  If I revert
the buffer then the 'c' becomes coloured again.

This is not just problem with syntax highlighting, but if I was to
indent the 2nd snippet it would mess it up, as it has the wrong CST.

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: pranshu sharma <pranshusharma366@HIDDEN>
Subject: bug#73376: Acknowledgement (Treesitter does not rescan after
 indentation)
Message-ID: <handler.73376.B.172681566924357.ack <at> debbugs.gnu.org>
References: <8734lustbc.fsf@HIDDEN>
X-Gnu-PR-Message: ack 73376
X-Gnu-PR-Package: emacs
Reply-To: 73376 <at> debbugs.gnu.org
Date: Fri, 20 Sep 2024 07:02:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 73376 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
73376: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73376
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#73376: Treesitter does not rescan after indentation
Resent-From: Yuan Fu <casouri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 21 Sep 2024 04:23:02 +0000
Resent-Message-ID: <handler.73376.B73376.172689254810036 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: pranshu sharma <pranshusharma366@HIDDEN>
Cc: 73376 <at> debbugs.gnu.org
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\))
From: Yuan Fu <casouri@HIDDEN>
In-Reply-To: <8734lustbc.fsf@HIDDEN>
Date: Fri, 20 Sep 2024 21:20:49 -0700
Content-Transfer-Encoding: quoted-printable
Message-Id: <8AD9587C-1C21-41A0-93EF-84B227C24A72@HIDDEN>
References: <8734lustbc.fsf@HIDDEN>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>



> On Sep 20, 2024, at 12:00=E2=80=AFAM, pranshu sharma =
<pranshusharma366@HIDDEN> wrote:
>=20
>=20
> After indenting, treesitter does not rescan the region.  This causes
> errors in the concrete syntax tree, which mess up indentation and =
syntax
> colouring.
>=20
> The issue I'm having is kind of hard to explain, but in a summary I =
have
> the poorly indented code, where what's between '_'(which is not in the
> code itself) is coloured:
> ---------------
> f x =3D
>               let _a_ =3D 2
>                   _c_ =3D 1
>  in a
> --------------
> Then when I indent it with haskell-ts-mode, I get:
> ---------------
> f x =3D
>  let _a_ =3D 2
>      c =3D 1
>  in a
> --------------
> When the 2 snippets of code have the exact same meaning.  If I revert
> the buffer then the 'c' becomes coloured again.
>=20
> This is not just problem with syntax highlighting, but if I was to
> indent the 2nd snippet it would mess it up, as it has the wrong CST.
>=20

Hi Pranshu,

Thanks for the report. I can reproduce it. Let me see what=E2=80=99s =
going on here.

Yuan=

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#73376: Treesitter does not rescan after indentation
Resent-From: Yuan Fu <casouri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 22 Sep 2024 06:38:02 +0000
Resent-Message-ID: <handler.73376.B73376.172698705221216 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: pranshu sharma <pranshusharma366@HIDDEN>
Cc: 73376 <at> debbugs.gnu.org
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\))
From: Yuan Fu <casouri@HIDDEN>
In-Reply-To: <8AD9587C-1C21-41A0-93EF-84B227C24A72@HIDDEN>
Date: Sat, 21 Sep 2024 23:35:50 -0700
Content-Transfer-Encoding: quoted-printable
Message-Id: <14EDC741-DDDC-45D1-B76E-7BA240373176@HIDDEN>
References: <8734lustbc.fsf@HIDDEN>
 <8AD9587C-1C21-41A0-93EF-84B227C24A72@HIDDEN>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>



> On Sep 20, 2024, at 9:20=E2=80=AFPM, Yuan Fu <casouri@HIDDEN> =
wrote:
>=20
>=20
>=20
>> On Sep 20, 2024, at 12:00=E2=80=AFAM, pranshu sharma =
<pranshusharma366@HIDDEN> wrote:
>>=20
>>=20
>> After indenting, treesitter does not rescan the region.  This causes
>> errors in the concrete syntax tree, which mess up indentation and =
syntax
>> colouring.
>>=20
>> The issue I'm having is kind of hard to explain, but in a summary I =
have
>> the poorly indented code, where what's between '_'(which is not in =
the
>> code itself) is coloured:
>> ---------------
>> f x =3D
>>              let _a_ =3D 2
>>                  _c_ =3D 1
>> in a
>> --------------
>> Then when I indent it with haskell-ts-mode, I get:
>> ---------------
>> f x =3D
>> let _a_ =3D 2
>>     c =3D 1
>> in a
>> --------------
>> When the 2 snippets of code have the exact same meaning.  If I revert
>> the buffer then the 'c' becomes coloured again.
>>=20
>> This is not just problem with syntax highlighting, but if I was to
>> indent the 2nd snippet it would mess it up, as it has the wrong CST.
>>=20
>=20
> Hi Pranshu,
>=20
> Thanks for the report. I can reproduce it. Let me see what=E2=80=99s =
going on here.
>=20
> Yuan

Seems to be a tree-sitter or tree-sitter-haskell bug, reported here: =
https://github.com/tree-sitter/tree-sitter-haskell/issues/129

Yuan=

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#73376: Treesitter does not rescan after indentation
Resent-From: pranshu sharma <pranshusharma366@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 23 Sep 2024 13:11:02 +0000
Resent-Message-ID: <handler.73376.B73376.172709701018135 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 73376
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Yuan Fu <casouri@HIDDEN>
Cc: 73376 <at> debbugs.gnu.org
Received: via spool by 73376-submit <at> debbugs.gnu.org id=B73376.172709701018135
          (code B ref 73376); Mon, 23 Sep 2024 13:11:02 +0000
Received: (at 73376) by debbugs.gnu.org; 23 Sep 2024 13:10:10 +0000
Received: from localhost ([127.0.0.1]:43472 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ssipN-0004iR-Jd
	for submit <at> debbugs.gnu.org; Mon, 23 Sep 2024 09:10:09 -0400
Received: from mail-pf1-f169.google.com ([209.85.210.169]:48513)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <pranshusharma366@HIDDEN>) id 1ssipL-0004i2-1J
 for 73376 <at> debbugs.gnu.org; Mon, 23 Sep 2024 09:10:07 -0400
Received: by mail-pf1-f169.google.com with SMTP id
 d2e1a72fcca58-7198a7a1c01so3869786b3a.1
 for <73376 <at> debbugs.gnu.org>; Mon, 23 Sep 2024 06:09:43 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1727096917; x=1727701717; darn=debbugs.gnu.org;
 h=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=FugKYc9GD23Yr5NU+M6idbmPIqVVzU1JE6qU9cvUYSg=;
 b=JJCOLtKE7ZkYRmvviIiqrUXBFeCLbRNhj1CylHLDff+irbCWNDYYcKyg5TvA9Z8Ysp
 rtmeERpKQnuYdLMQNPbPJT4/opkAK6ubRb0lzp7sooYFeX3TFk3zvmf4YOh5sXPE/Hlt
 13q6ltuKBP1Rbw4lVJ5TEkiJRBoXEppr62XpS8w3jIXyo5QzRbC2ARJ3z3bq6xJ3M0Zj
 6LVqAUHI+Rty6b+Ds+PC5s56N3Z1L9H/SWTT2ReI9CPPsc9XAl1LY8vcSCkhUHxJghmN
 AIDDlVOuf4rwTX/32pdoysv7Wv1ZLbT4ICEuG5zGQPI76yX8o19GIlmR8ndOzZHsnMHl
 sZHQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1727096918; x=1727701718;
 h=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=FugKYc9GD23Yr5NU+M6idbmPIqVVzU1JE6qU9cvUYSg=;
 b=L2KPxJ7Pqa16M7ONnjmP2cXRvV6crtTUYFdo1IMgXnXpxU/i6CJ2cU48SG2Qqhuvii
 7AKqN3P4ExQgO7H+8Nj8MhUwJJB25Uor9Sd6VXTzWfySPx3b33+KWKNU0yaYwZzC+HYE
 Wf09anY6qe9aGsP16ZXBl8NiFdalW3uAYdJweKfYV+G1xeypw0zseFGGGAEtgGzihNzU
 pM5xc+95n7Q2bWWfqWS5Sgtlauol6P2Xqb+X9Xgy0o4bjhOZ09fPO+BdhqzQJ1eDgU0t
 8YrU0QSNsR2Qgu+aDLS+8m4gfmhpXrK+zX19Kl0gQU+aVHbpln9mzG82Itp/xOkevYRG
 pSPg==
X-Gm-Message-State: AOJu0YweLhXk2q6nyoBNfPUF/oXsNdihId1YD9GJmcS+FsdtgAK9YgAs
 t+9TYfq2cjpDg2vU8r9OeWj/Md1I+o6ToDmgq3gHCxGOjcd2EJTTpTSN4A==
X-Google-Smtp-Source: AGHT+IGY+6qk8oRKqwaEpRm9HQL6yX5sm9Uw53HqIPaR5femeYjDNiGJr2HWQF7KNeRODCMDYmY8ug==
X-Received: by 2002:a05:6a21:3414:b0:1d2:ba7c:c6e7 with SMTP id
 adf61e73a8af0-1d30a959559mr16951397637.30.1727096917513; 
 Mon, 23 Sep 2024 06:08:37 -0700 (PDT)
Received: from pebl ([2001:8003:7816:8300:5b20:e8a2:f561:951c])
 by smtp.gmail.com with ESMTPSA id
 d2e1a72fcca58-71944ab56d0sm13863184b3a.66.2024.09.23.06.08.35
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 23 Sep 2024 06:08:37 -0700 (PDT)
From: pranshu sharma <pranshusharma366@HIDDEN>
In-Reply-To: <14EDC741-DDDC-45D1-B76E-7BA240373176@HIDDEN> (Yuan Fu's
 message of "Sat, 21 Sep 2024 23:35:50 -0700")
References: <8734lustbc.fsf@HIDDEN>
 <8AD9587C-1C21-41A0-93EF-84B227C24A72@HIDDEN>
 <14EDC741-DDDC-45D1-B76E-7BA240373176@HIDDEN>
Date: Mon, 23 Sep 2024 23:08:33 +1000
Message-ID: <87ldziwm9a.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.2 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.8 (/)


Ok, keep us updated if any progress is made

Last modified: Sun, 12 Jan 2025 05:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.