GNU bug report logs - #61936
Wish list: Tree-sitter support for GAP

Previous Next

Package: emacs;

Reported by: Tor Kringeland <tor.kringeland <at> ntnu.no>

Date: Fri, 3 Mar 2023 14:20:02 UTC

Severity: wishlist

Tags: confirmed

To reply to this bug, email your comments to 61936 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-gnu-emacs <at> gnu.org:
bug#61936; Package emacs. (Fri, 03 Mar 2023 14:20:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Tor Kringeland <tor.kringeland <at> ntnu.no>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Fri, 03 Mar 2023 14:20:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Tor Kringeland <tor.kringeland <at> ntnu.no>
To: "bug-gnu-emacs <at> gnu.org" <bug-gnu-emacs <at> gnu.org>
Subject: Wish list: Tree-sitter support for GAP
Date: Fri, 3 Mar 2023 14:19:29 +0000
GAP is a computer algebra system (CAS) used in various areas of math.

There is already `gap-mode.el' [1] but it is not included in Emacs.

A tree-sitter module is available for GAP [2].


- [1] https://gitlab.com/gvol/gap-mode

- [2] https://github.com/fingolfin/tree-sitter-gap



Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#61936; Package emacs. (Sun, 05 Mar 2023 04:04:01 GMT) Full text and rfc822 format available.

Message #8 received at 61936 <at> debbugs.gnu.org (full text, mbox):

From: Richard Stallman <rms <at> gnu.org>
To: Tor Kringeland <tor.kringeland <at> ntnu.no>
Cc: 61936 <at> debbugs.gnu.org
Subject: Re: bug#61936: Wish list: Tree-sitter support for GAP
Date: Sat, 04 Mar 2023 23:03:47 -0500
[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > GAP is a computer algebra system (CAS) used in various areas of math.

Is GAP free software?  That affects the moral/political question of
how much support for GAP we should include in Emacs (or any of our
software).

If GAP is free software then we would like to support it, unless
that causes a practical difficulty (it probably won't).

If it is nonfree, in principle we would rather not even mention its
existence.  But we can compromise in certain cases.  If it is already
quite well known, we can support it and say we support it, but keep in
mind that the goal of supporting is to encourage GAP users to use
Emacs while NOT encouraging Emacs users to use GAP.

If GAP is only somewhat well known, we can support it in the same way,
but we should not mention very much that we do support it.  We don't
want to publicize it!

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)






Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#61936; Package emacs. (Sun, 05 Mar 2023 06:33:02 GMT) Full text and rfc822 format available.

Message #11 received at 61936 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: rms <at> gnu.org
Cc: tor.kringeland <at> ntnu.no, 61936 <at> debbugs.gnu.org
Subject: Re: bug#61936: Wish list: Tree-sitter support for GAP
Date: Sun, 05 Mar 2023 08:31:47 +0200
> Cc: 61936 <at> debbugs.gnu.org
> From: Richard Stallman <rms <at> gnu.org>
> Date: Sat, 04 Mar 2023 23:03:47 -0500
> 
>   > GAP is a computer algebra system (CAS) used in various areas of math.
> 
> Is GAP free software?  That affects the moral/political question of
> how much support for GAP we should include in Emacs (or any of our
> software).

GAP's license is GPL 2.0+.




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#61936; Package emacs. (Mon, 06 Mar 2023 06:21:02 GMT) Full text and rfc822 format available.

Message #14 received at 61936 <at> debbugs.gnu.org (full text, mbox):

From: Theodor Thornhill <theo <at> thornhill.no>
To: Tor Kringeland <tor.kringeland <at> ntnu.no>
Cc: 61936 <at> debbugs.gnu.org
Subject: Re: bug#61936: Wish list: Tree-sitter support for GAP
Date: Mon, 06 Mar 2023 07:20:46 +0100
Hei, Tor!

Tor Kringeland <tor.kringeland <at> ntnu.no> writes:

> GAP is a computer algebra system (CAS) used in various areas of math.
>
> There is already `gap-mode.el' [1] but it is not included in Emacs.

I see no reason not to support this in Emacs.  I do not know or use GAP
myself, but I'd be happy to review a patch adding it.  If you want to
make an attempt, I'd suggest to look at some of the simpler tree sitter
modes, such as java-ts-mode.el, and go from there.  The grammar file is
only ~350 lines, so I suspect support for it will only run in at less
than half the size of java-ts-mode.el :-)

>
> A tree-sitter module is available for GAP [2].
>
>
> - [1] https://gitlab.com/gvol/gap-mode
>
> - [2] https://github.com/fingolfin/tree-sitter-gap


Theo




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#61936; Package emacs. (Tue, 07 Mar 2023 04:31:02 GMT) Full text and rfc822 format available.

Message #17 received at 61936 <at> debbugs.gnu.org (full text, mbox):

From: Richard Stallman <rms <at> gnu.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: tor.kringeland <at> ntnu.no, 61936 <at> debbugs.gnu.org
Subject: Re: bug#61936: Wish list: Tree-sitter support for GAP
Date: Mon, 06 Mar 2023 23:29:52 -0500
[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > >   > GAP is a computer algebra system (CAS) used in various areas of math.
  > > 
  > > Is GAP free software?  That affects the moral/political question of
  > > how much support for GAP we should include in Emacs (or any of our
  > > software).

  > GAP's license is GPL 2.0+.

That's good -- there is no copyright issue using it in Emacs.

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)






Severity set to 'wishlist' from 'normal' Request was from Stefan Kangas <stefankangas <at> gmail.com> to control <at> debbugs.gnu.org. (Mon, 04 Sep 2023 08:52:02 GMT) Full text and rfc822 format available.

Added tag(s) confirmed. Request was from Stefan Kangas <stefankangas <at> gmail.com> to control <at> debbugs.gnu.org. (Fri, 06 Oct 2023 15:10:02 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 252 days ago.

Previous Next


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