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

Previous Next

Full log

View this message in rfc822 format

From: Karl Hallsby <karl <at> hallsby.com>
To: 70043 <at> debbugs.gnu.org
Cc: Karl Hallsby <karl <at> hallsby.com>
Subject: [bug#70043] [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

Previous Next

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