GNU bug report logs - #70043
[PATCH] gnu: Add tree-sitter-tlaplus.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70043: closed ([PATCH] gnu: Add tree-sitter-tlaplus.)
Date: Fri, 05 Apr 2024 15:42:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 05 Apr 2024 17:41:13 +0200
with message-id <87le5rrf52.fsf <at> gnu.org>
and subject line Re: [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus.
has caused the debbugs.gnu.org bug report #70043,
regarding [PATCH] gnu: Add tree-sitter-tlaplus.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
70043: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70043
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Karl Hallsby <karl <at> hallsby.com>
To: guix-patches <at> gnu.org
Cc: Karl Hallsby <karl <at> hallsby.com>
Subject: [PATCH] gnu: Add tree-sitter-tlaplus.
Date: Wed, 27 Mar 2024 21:00:13 -0500

* gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): New variable.

Change-Id: I0e66b87a872bdb29b3c01f4eaf4486dab3d1873f
---

 tree-sitter-tlaplus has a newer version, 1.2.1, but that requires
 tree-sitter to have a version greater than 0.21.0 (which _is_ tagged
 this time). However, naively updating tree-sitter to 0.21.0 or newer
 requires rust packages (most notably rust-clap) newer than are
 available in Guix right now. When tree-sitter gets updated next, this
 tree-sitter grammar (and likely many others) will need to be updated
 as well.

 gnu/packages/tree-sitter.scm | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm
index 7515461993..f049ac590e 100644
--- a/gnu/packages/tree-sitter.scm
+++ b/gnu/packages/tree-sitter.scm
@@ -6,7 +6,7 @@
 ;;; Copyright © 2023 Andrew Tropin <andrew <at> trop.in>
 ;;; Copyright © 2023, 2024 Nicolas Graves <ngraves <at> ngraves.fr>
 ;;; Copyright © 2023 Zheng Junjie <873216071 <at> qq.com>
-;;; Copyright © 2023 Raven Hallsby <karl <at> hallsby.com>
+;;; Copyright © 2023, 2024 Raven Hallsby <karl <at> hallsby.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -677,3 +677,11 @@ (define-public tree-sitter-scala
    "scala" "Scala"
    "0hs6gmkq5cx9qrmgfz1mh0c34flwffc0k2mhwf13laawswnywfkz"
    "0.20.2"))
+
+(define-public tree-sitter-tlaplus
+  (tree-sitter-grammar
+   "tlaplus" "TLA+"
+   "1k60dnzafj6m9c2d4xnwiz3d7yw3bg3iwx7c1anhwr76iyxdci3w"
+   "1.0.8"
+   ;; Version 1.2.1 is most recent, but requires tree-sitter >0.21.0
+   #:repository-url "https://github.com/tlaplus-community/tree-sitter-tlaplus"))
-- 
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Karl Hallsby <karl <at> hallsby.com>
Cc: 70043-done <at> debbugs.gnu.org
Subject: Re: [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus.
Date: Fri, 05 Apr 2024 17:41:13 +0200

Hi,

Karl Hallsby <karl <at> hallsby.com> skribis:

> * gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): New variable.
>
> Change-Id: I0e66b87a872bdb29b3c01f4eaf4486dab3d1873f

[...]

> * gnu/packages/tree-sitter.scm (tree-sitter-latex): New variable.

[...]

> * gnu/packages/tree-sitter.scm (tree-sitter-nix): New variable.

Applied, thanks!

Ludo’.

Previous Next

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