From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Bj=C3=B6rn?= Bidar Newsgroups: gmane.emacs.devel Subject: Re: Validating tree-sitter major modes and grammar Date: Tue, 24 Dec 2024 23:36:41 +0200 Message-ID: <43961.52905408$1735076247@news.gmane.org> References: <2F1CA2E3-4C86-4892-AF6B-0C9CFCE26629@gmail.com> <6768b29d.050a0220.1b40f2.5574SMTPIN_ADDED_BROKEN@mx.google.com> <8DF80F0D-E50A-4162-93E6-F7F55B2E7144@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28382"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Emacs Devel , Peter Oliver , Stefan Kangas To: Yuan Fu Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Dec 24 22:37:21 2024 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 1tQCae-0007Fa-2L for ged-emacs-devel@m.gmane-mx.org; Tue, 24 Dec 2024 22:37:20 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tQCa9-00037L-K7; Tue, 24 Dec 2024 16:36:49 -0500 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 1tQCa7-00033i-Nu for emacs-devel@gnu.org; Tue, 24 Dec 2024 16:36:47 -0500 Original-Received: from thaodan.de ([185.216.177.71]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tQCa5-0004cO-Ie for emacs-devel@gnu.org; Tue, 24 Dec 2024 16:36:47 -0500 Original-Received: from odin (dsl-trebng12-50dc7b-49.dhcp.inet.fi [80.220.123.49]) by thaodan.de (Postfix) with ESMTPSA id CDAEED0004B; Tue, 24 Dec 2024 23:36:42 +0200 (EET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=thaodan.de; s=mail; t=1735076203; bh=uq4TScg1p5EefKriI3kp8F0NH4HakZEv9U4nuWc8VPE=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=bJlTTkELRaMO8zncs53TQgQ7tPEEc+FMDc5v6dQwwzuGhE+FzbuFqzFrTSPBbgyJb WxIOm9vpZwdbhzV3nhvEjOSrVM5n1dHCgpXL1mc3nnTsyJkG9AfYoxpo19WrZ8kwSx S0CvmBp+eE5+2mPKziQs7qDaS45+CskUXdwkm3SEQEeC2GEiUsHVtuDQl7GMQcolj2 UT2qWyVu8FF+xeeVpt31I+zaLQ26e9vz70a4V0I6ahX7sEZ9+LTp4RoJJvRSYUQOkt Vs8hJuOVQCdmfEs4h2ZJIxa86pckt/I62uT1iAJI1Baz5iqQvoomZ+ya9l0VlkdlHG HanluJPqPX6V9oU6YuvfUtCGv5GwzsbJPju3z+7nTLr3khY61gMv1xbWTzbA3CHPjO qYUvhEIUPyJJviQr7eT+PK8mdOuxUzllMGt5lpQO0Z4pESN8Ulo8xFCu1bJwKGhL3+ Ek2cMV94LyKL7tbG4UNqxWYjv/ScMbas5ES/+OY3KhN4yYNculiWexeIBdao0RUx3G q2RgEuwFmSKhqMLy3NKEE/wKbryvczyiDWGUFRIYx32z+vkVM/1AJavCaKpNNWbeUw RbIfXR26D9vEMZfxa2FPz9k/qEbthHLFRrf0KmE3kX+FOFHZCxOCs8gkRkKg0v2QL6 zepspJJU7u7QjbLcT8lst8a8= In-Reply-To: <8DF80F0D-E50A-4162-93E6-F7F55B2E7144@gmail.com> (Yuan Fu's message of "Mon, 23 Dec 2024 19:20:06 -0800") Autocrypt: addr=bjorn.bidar@thaodan.de; prefer-encrypt=nopreference; keydata= mDMEZNfpPhYJKwYBBAHaRw8BAQdACBEmr+0xwIIHZfIDlZmm7sa+lHHSb0g9FZrN6qE6ru60JUJq w7ZybiBCaWRhciA8Ympvcm4uYmlkYXJAdGhhb2Rhbi5kZT6IlgQTFgoAPgIbAwULCQgHAgIiAgYV CgkICwIEFgIDAQIeBwIXgBYhBFHxdut1RzAepymoq1wbdKFlHF9oBQJk1/YmAhkBAAoJEFwbdKFl HF9oB9cBAJoIIGQKXm4cpap+Flxc/EGnYl0123lcEyzuduqvlDT0AQC3OlFKm/OiqJ8IMTrzJRZ8 phFssTkSrrFXnM2jm5PYDoiTBBMWCgA7FiEEUfF263VHMB6nKairXBt0oWUcX2gFAmTX6T4CGwMF CwkIBwICIgIGFQoJCAsCBBYCAwECHgcCF4AACgkQXBt0oWUcX2hbCQEAtru7kvM8hi8zo6z9ux2h K+B5xViKuo7Z8K3IXuK5ugwA+wUfKzomzdBPhfxDsqLcEziGRxoyx0Q3ld9aermBUccHtBxCasO2 cm4gQmlkYXIgPG1lQHRoYW9kYW4uZGU+iJMEExYKADsCGwMFCwkIBwICIgIGFQoJCAsCBBYCAwEC HgcCF4AWIQRR8XbrdUcwHqcpqKtcG3ShZRxfaAUCZNf2FQAKCRBcG3ShZRxfaCzSAP4hZ7cSp0YN XYpcjHdsySh2MuBhhoPeLGXs+2kSiqBiOwD/TP8AgPEg/R+SI9GI9on7fBJJ0mp2IT8kZ2rhDOjg gA6IkwQTFgoAOxYhBFHxdut1RzAepymoq1wbdKFlH Received-SPF: pass client-ip=185.216.177.71; envelope-from=bjorn.bidar@thaodan.de; helo=thaodan.de X-Spam_score_int: -14 X-Spam_score: -1.5 X-Spam_bar: - X-Spam_report: (-1.5 / 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, INVALID_MSGID=0.568, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 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-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:327035 Archived-At: Yuan Fu writes: >> On Dec 22, 2024, at 4:44=E2=80=AFPM, Bj=C3=B6rn Bidar wrote: >>=20 >> Yuan Fu writes: >>=20 >>> Continuing from the tree-sitter maternity thread, I cooked up some >>> script to go over each builtin tree-sitter mode, clone the grammars it >>> uses, and check whether the font-lock queries are compatible with the >>> latest version of the grammar. If everything works fine, the script >>> adds some comment in the source file listing the version that was >>> checked. >>=20 >> Oh that sounds very good. This could be a good workaround for the sort >> of fast and lose nature of tree-sitter. >>=20 > > Great. Do you think the =E2=80=9Cverified version=E2=80=9D comment will b= e helpful for packagers? > It would be helpful in case something goes wrong as a kind of sanity check but it won't help much for an indicator when to update since I don't think that would be blocker for updating. It is helpful but none the less the goal should be that such errors should be preventable between grammar versions.