bug#70043: closed ([PATCH] gnu: Add tree-sitter-tlaplus.)

[GNU bug Tracking System]

Your message dated Fri, 05 Apr 2024 17:41:13 +0200
with message-id <87le5rrf52.fsf@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@gnu.org.)


-- 
70043: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70043
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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@trop.in>
>  ;;; Copyright © 2023, 2024 Nicolas Graves <ngraves@ngraves.fr>
>  ;;; Copyright © 2023 Zheng Junjie <873216071@qq.com>
> -;;; Copyright © 2023 Raven Hallsby <karl@hallsby.com>
> +;;; Copyright © 2023, 2024 Raven Hallsby <karl@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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus.
>
>
>
>
> Date: 
>
> Fri, 05 Apr 2024 17:41:13 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Hi,
>
> Karl Hallsby <karl@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’.
>
>
> --- End Message ---