GNU bug report logs - #38808
[PATCH] gnu: Add ghc-ghcid.

Previous Next

Package: guix-patches;

Reported by: Alexandru-Sergiu Marton <brown121407 <at> gmail.com>

Date: Mon, 30 Dec 2019 08:27:01 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 38808 in the body.
You can then email your comments to 38808 AT debbugs.gnu.org in the normal way.

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

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


Report forwarded to guix-patches <at> gnu.org:
bug#38808; Package guix-patches. (Mon, 30 Dec 2019 08:27:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Alexandru-Sergiu Marton <brown121407 <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Mon, 30 Dec 2019 08:27:02 GMT) Full text and rfc822 format available.

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

From: Alexandru-Sergiu Marton <brown121407 <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Alexandru-Sergiu Marton <brown121407 <at> member.fsf.org>
Subject: [PATCH] gnu: Add ghc-ghcid.
Date: Mon, 30 Dec 2019 10:26:14 +0200
* gnu/packages/haskell-xyz.scm (ghc-ghcid): New variable.
---
 gnu/packages/haskell-xyz.scm | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 716d14d7fb..a8710037ae 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -4429,6 +4429,39 @@ properties for functions operating on them.")
 interfaces with ease.")
     (license license:bsd-3)))
 
+(define-public ghc-ghcid
+  (package
+    (name "ghc-ghcid")
+    (version "0.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/ghcid/ghcid-"
+             version
+             ".tar.gz"))
+       (sha256
+        (base32
+         "1vyjsxxp0jqqfkxp9r8by9qg794g0nj3k5zg7vlvh5v8xzigv8qg"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-extra" ,ghc-extra)
+       ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+       ("ghc-cmdargs" ,ghc-cmdargs)
+       ("ghc-fsnotify" ,ghc-fsnotify)
+       ("ghc-terminal-size" ,ghc-terminal-size)))
+    (native-inputs
+     `(("ghc-tasty" ,ghc-tasty)
+       ("ghc-tasty-hunit" ,ghc-tasty-hunit)))
+    (home-page
+     "https://github.com/ndmitchell/ghcid#readme")
+    (synopsis "GHCi based bare bones IDE")
+    (description
+     "Either \"GHCi as a daemon\" or \"GHC + a bit of an IDE\".
+A very simple Haskell development tool which shows you the errors in
+your project and updates them whenever you save.")
+    (license license:bsd-3)))
+
 (define-public ghc-gitrev
   (package
     (name "ghc-gitrev")
-- 
2.24.1





Information forwarded to guix-patches <at> gnu.org:
bug#38808; Package guix-patches. (Fri, 03 Jan 2020 17:53:02 GMT) Full text and rfc822 format available.

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

From: John Soo <jsoo1 <at> asu.edu>
To: 38808 <at> debbugs.gnu.org, brown121407 <at> gmail.com
Subject: [PATCH] gnu: Add ghc-ghcid.
Date: Fri, 3 Jan 2020 17:51:59 +0000
Hi Alexandru-Sergiu,

I tested this out this morning. It looks pretty good to me.

Thanks a lot! I love seeing more haskell support in Guix.

John




Information forwarded to guix-patches <at> gnu.org:
bug#38808; Package guix-patches. (Fri, 17 Jan 2020 15:58:01 GMT) Full text and rfc822 format available.

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

From: John Soo <jsoo1 <at> asu.edu>
To: 38808 <at> debbugs.gnu.org, brown121407 <at> gmail.com
Subject: Re: [PATCH] gnu: Add ghc-ghcid.
Date: Fri, 17 Jan 2020 15:57:36 +0000
Hi Alexandru-Sergiu,

One thing to consider is maybe naming the package "ghcid" and putting
it in gnu/packages/haskell-apps.scm instead with the other haskell
executables.

John




Information forwarded to guix-patches <at> gnu.org:
bug#38808; Package guix-patches. (Tue, 04 Feb 2020 13:56:02 GMT) Full text and rfc822 format available.

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

From: Alexandru-Sergiu Marton <brown121407 <at> gmail.com>
To: 38808 <at> debbugs.gnu.org
Cc: Alexandru-Sergiu Marton <brown121407 <at> member.fsf.org>
Subject: [PATCH v2] gnu: Add ghcid.
Date: Tue,  4 Feb 2020 15:59:03 +0200
* gnu/packages/haskell-apps.scm (ghcid): New variable.
---
This moves the package to haskell-apps and brings a newer version (0.8.1, rather than 0.8).

 gnu/packages/haskell-apps.scm | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 767f0c7f99..6e614245a9 100644
--- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -13,6 +13,7 @@
 ;;; Copyright © 2015 John Soo <jsoo1 <at> asu.edu>
 ;;; Copyright © 2019 Efraim Flashner <efraim <at> flashner.co.il>
 ;;; Copyright © 2019 Alex Griffin <a <at> ajgrf.com>
+;;; Copyright © 2020 Alexandru-Sergiu Marton <brown121407 <at> member.fsf.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -267,6 +268,40 @@ unique algebra of patches called @url{http://darcs.net/Theory,Patchtheory}.
 @end enumerate")
     (license license:gpl2)))
 
+(define-public ghcid
+  (package
+    (name "ghcid")
+    (version "0.8.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/ghcid/"
+                           "ghcid-" version ".tar.gz"))
+       (sha256
+        (base32
+         "1k5yk9ba6g2x0wsqx1zb9zviqp9p7myd628fxi2rf4wjh0kkjc4c"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-extra" ,ghc-extra)
+       ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+       ("ghc-cmdargs" ,ghc-cmdargs)
+       ("ghc-fsnotify" ,ghc-fsnotify)
+       ("ghc-terminal-size" ,ghc-terminal-size)))
+    (native-inputs
+     `(("ghc-tasty" ,ghc-tasty)
+       ("ghc-tasty-hunit" ,ghc-tasty-hunit)))
+    (home-page
+     "https://github.com/ndmitchell/ghcid#readme")
+    (synopsis "GHCi based bare bones IDE")
+    (description
+     "Either \"GHCi as a daemon\" or \"GHC + a bit of an IDE\".  A very simple Haskell
+development tool which shows you the errors in your project and updates them whenever
+you save.  Run @code{ghcid --topmost --command=ghci}, where @code{--topmost} makes the
+window on top of all others (Windows only) and @code{--command} is the command to start
+GHCi on your project (defaults to @code{ghci} if you have a @file{.ghci} file, or else
+to @code{cabal repl}).")
+    (license license:bsd-3)))
+
 (define-public git-annex
   (package
     (name "git-annex")
-- 
2.25.0





Reply sent to Leo Famulari <leo <at> famulari.name>:
You have taken responsibility. (Sun, 15 Mar 2020 19:06:01 GMT) Full text and rfc822 format available.

Notification sent to Alexandru-Sergiu Marton <brown121407 <at> gmail.com>:
bug acknowledged by developer. (Sun, 15 Mar 2020 19:06:02 GMT) Full text and rfc822 format available.

Message #19 received at 38808-done <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Alexandru-Sergiu Marton <brown121407 <at> gmail.com>
Cc: Alexandru-Sergiu Marton <brown121407 <at> member.fscf.org>,
 38808-done <at> debbugs.gnu.org
Subject: Re: [bug#38808] [PATCH v2] gnu: Add ghcid.
Date: Sun, 15 Mar 2020 15:05:35 -0400
On Tue, Feb 04, 2020 at 03:59:03PM +0200, Alexandru-Sergiu Marton wrote:
> * gnu/packages/haskell-apps.scm (ghcid): New variable.

Thanks! I updated it to 0.8.4 and pushed as
eea58169fb519c392ff3ba4a1ad5730e3be9ff39




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Mon, 13 Apr 2020 11:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 4 years and 11 days ago.

Previous Next


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