GNU bug report logs - #27987
Dependencies for Agda - a dependently typed functional language

Previous Next

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

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

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

From: Alex Vong <alexvong1995 <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: Dependencies for Agda - a dependently typed functional language
Date: Sun, 06 Aug 2017 23:54:14 +0800

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

Hello,

I wish to introduce Agda to Guix. The patches below are some dependecies
for Agda. There are more to come...

[0001-gnu-cpphs-Update-to-1.20.8.patch (text/x-diff, inline)]

From 792e06adee38186dc3154b8e5f3f84db3875e019 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:35:06 +0800
Subject: [PATCH 1/6] gnu: cpphs: Update to 1.20.8.

* gnu/packages/haskell.scm (cpphs): Update to 1.20.8.
---
 gnu/packages/haskell.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a67209234..a42d17d46 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -10,6 +10,7 @@
 ;;; Copyright © 2016, 2017 David Craven <david <at> craven.ch>
 ;;; Copyright © 2017 Danny Milosavljevic <dannym <at> scratchpost.org>
 ;;; Copyright © 2017 Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
+;;; Copyright © 2017 Alex Vong <alexvong1995 <at> gmail.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -1324,7 +1325,7 @@ various Haskell streaming data libraries, such as @code{conduit} and
 (define-public cpphs
   (package
     (name "cpphs")
-    (version "1.19.3")
+    (version "1.20.8")
     (source
      (origin
        (method url-fetch)
@@ -1333,7 +1334,7 @@ various Haskell streaming data libraries, such as @code{conduit} and
              name "-" version ".tar.gz"))
        (sha256
         (base32
-         "1njpmxgpah5pcqppcl1cxb5xicf6xlqrd162qm12khp9hainlm72"))))
+         "1bh524asqhk9v1s0wvipl0hgn7l63iy3js867yv0z3h5v2kn8vg5"))))
     (build-system haskell-build-system)
     (inputs
      `(("ghc-polyparse" ,ghc-polyparse)
-- 
2.13.4

[0002-gnu-Add-ghc-strict.patch (text/x-diff, inline)]

From 97d360bb46d727a5129416cd4bfaea54cd0adede Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:37:15 +0800
Subject: [PATCH 2/6] gnu: Add ghc-strict.

* gnu/packages/haskell.scm (ghc-strict): New variable.
---
 gnu/packages/haskell.scm | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a42d17d46..d0e6a64ce 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1808,6 +1808,25 @@ capabilities that are optimized for performance critical use, both
 in terms of large data quantities and high speed.")
     (license license:bsd-3)))
 
+(define-public ghc-strict
+  (package
+    (name "ghc-strict")
+    (version "0.3.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/strict/strict-"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "08cjajqz9h47fkq98mlf3rc8n5ghbmnmgn8pfsl3bdldjdkmmlrc"))))
+    (build-system haskell-build-system)
+    (home-page "https://hackage.haskell.org/package/strict")
+    (synopsis "Strict data types and String IO")
+    (description
+     "This package provides strict versions of some standard Haskell data types
+(pairs, Maybe and Either).  It also contains strict IO operations.")
+    (license license:bsd-3)))
+
 (define-public ghc-hashable
   (package
     (name "ghc-hashable")
-- 
2.13.4

[0003-gnu-Add-ghc-stmonadtrans.patch (text/x-diff, inline)]

From 48566e3dd705cbd2f8ad34b38e03e639e9e6e5a7 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:39:55 +0800
Subject: [PATCH 3/6] gnu: Add ghc-stmonadtrans.

* gnu/packages/haskell.scm (ghc-stmonadtrans): New variable.
---
 gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d0e6a64ce..44797a226 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -7076,6 +7076,31 @@ other transformers.")
                (base32
                 "0a364zfcm17mhpy0c4ms2j88sys4yvgd6071qsgk93la2wjm8mkr"))))))
 
+(define-public ghc-stmonadtrans
+  (package
+    (name "ghc-stmonadtrans")
+    (version "0.4.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/STMonadTrans"
+                           "/STMonadTrans-" version ".tar.gz"))
+       (sha256
+        (base32 "1nr26fnmi5fdjc6d00w13kjhmfyvb5b837d0006w4dj0yxndaksp"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-mtl" ,ghc-mtl)))
+    (home-page "https://hackage.haskell.org/package/STMonadTrans")
+    (synopsis "Monad transformer version of the ST monad")
+    (description
+     "A monad transformer version of the ST monad Warning! This monad
+transformer should not be used with monads that can contain multiple answers,
+like the list monad.  The reason is that the state token will be duplicated
+across the different answers and this causes Bad Things to happen (such as loss
+of referential transparency).  Safe monads include the monads State, Reader,
+Writer, Maybe and combinations of their corresponding monad transformers.")
+    (license license:bsd-3)))
+
 (define-public ghc-findbin
   (package
     (name "ghc-findbin")
-- 
2.13.4

[0004-gnu-Add-ghc-edit-distance.patch (text/x-diff, inline)]

From 2c47df61ed829417127916a44877809eb934640b Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:41:38 +0800
Subject: [PATCH 4/6] gnu: Add ghc-edit-distance.

* gnu/packages/haskell.scm (ghc-edit-distance): New variable.
---
 gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 44797a226..8726977f1 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6098,6 +6098,30 @@ supports for high level forms of ASN1 (BER, and DER).")
 when ASN1 pattern matching is not convenient.")
     (license license:bsd-3)))
 
+(define-public ghc-edit-distance
+  (package
+    (name "ghc-edit-distance")
+    (version "0.2.2.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/edit-distance"
+                           "/edit-distance-" version ".tar.gz"))
+       (sha256
+        (base32 "0jkca97zyv23yyilp3jydcrzxqhyk27swhzh82llvban5zp8b21y"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-random" ,ghc-random)
+       ("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)))
+    (home-page "https://github.com/phadej/edit-distance")
+    (synopsis "Levenshtein and restricted Damerau-Levenshtein edit distances")
+    (description
+     "Optimized edit distances for fuzzy matching, including Levenshtein and
+restricted Damerau-Levenshtein algorithms.")
+    (license license:bsd-3)))
+
 (define-public ghc-tasty-kat
   (package
     (name "ghc-tasty-kat")
-- 
2.13.4

[0005-gnu-Add-ghc-boxes.patch (text/x-diff, inline)]

From 28ebe7e4b96d61f5f55c3af517a871127baf5dfd Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:42:32 +0800
Subject: [PATCH 5/6] gnu: Add ghc-boxes.

* gnu/packages/haskell.scm (ghc-boxes): New variable.
---
 gnu/packages/haskell.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 8726977f1..33e7af969 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5101,6 +5101,28 @@ prettified JSON to stdout.  It also offers a complementary \"compact\"-mode,
 essentially the opposite of pretty-printing.")
     (license license:bsd-3)))
 
+(define-public ghc-boxes
+  (package
+    (name "ghc-boxes")
+    (version "0.1.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/boxes/boxes-"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "1n7xiplzd3s1a39nizwjcgsh3wi2348mp21c3fk19v98ialfjgjf"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-split" ,ghc-split)
+       ("ghc-quickcheck" ,ghc-quickcheck)))
+    (home-page "https://hackage.haskell.org/package/boxes")
+    (synopsis "2D text pretty-printing library")
+    (description
+     "A pretty-printing library for laying out text in two dimensions,
+using a simple box model.")
+    (license license:bsd-3)))
+
 (define-public ghc-wai
   (package
     (name "ghc-wai")
-- 
2.13.4

[0006-gnu-Add-ghc-equivalence.patch (text/x-diff, inline)]

From a4c668273df8e726625bf4c8aa828d13bca946f2 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Sun, 6 Aug 2017 23:43:53 +0800
Subject: [PATCH 6/6] gnu: Add ghc-equivalence.

* gnu/packages/haskell.scm (ghc-equivalence): New variable.
---
 gnu/packages/haskell.scm | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 33e7af969..60ded9651 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -4714,6 +4714,36 @@ definition of @code{Monad}.")
 for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-equivalence
+  (package
+    (name "ghc-equivalence")
+    (version "0.3.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/equivalence"
+                           "/equivalence-" version ".tar.gz"))
+       (sha256
+        (base32 "0a85bdyyvjqs5z4kfhhf758210k9gi9dv42ik66a3jl0z7aix8kx"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-mtl" ,ghc-mtl)
+       ("ghc-stmonadtrans" ,ghc-stmonadtrans)
+       ("ghc-transformers-compat" ,ghc-transformers-compat)
+       ("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)))
+    (home-page "https://github.com/pa-ba/equivalence")
+    (synopsis
+     "Maintaining an equivalence relation implemented as union-find using STT")
+    (description
+     "This is an implementation of Tarjan's Union-Find algorithm
+(Robert E.@: Tarjan.  \"Efficiency of a Good But Not Linear Set Union
+        Algorithm\",JACM 22(2), 1975) in order to maintain an equivalence relation.
+This implementation is a port of the @code{union-find} package using the ST
+monad transformer (instead of the IO monad).")
+    (license license:bsd-3)))
+
 (define-public ghc-fast-logger
   (package
     (name "ghc-fast-logger")
-- 
2.13.4

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

Cheers,
Alex

[signature.asc (application/pgp-signature, inline)]

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

From: Alex Vong <alexvong1995 <at> gmail.com>
To: 27987 <at> debbugs.gnu.org
Subject: Re: Dependencies for Agda - a dependently typed functional language
Date: Mon, 07 Aug 2017 15:34:26 +0800

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

Hello,

Here is the remaining dependencies for Agda. Actually I have already
managed to get Agda to build, but I still need to figure out how to
build the standard library.

[0001-gnu-Add-ghc-data-hash.patch (text/x-diff, inline)]

From 8c38d3e533717c67ab91cfa72c8d8553798987d6 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:02:41 +0800
Subject: [PATCH 1/8] gnu: Add ghc-data-hash.

* gnu/packages/haskell.scm (ghc-data-hash): New variable.
---
 gnu/packages/haskell.scm | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 60ded9651..d054753b3 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1857,6 +1857,29 @@ data structures.  The package provides instances for basic types and a way to
 combine hash values.")
     (license license:bsd-3)))
 
+(define-public ghc-data-hash
+  (package
+    (name "ghc-data-hash")
+    (version "0.2.0.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/data-hash"
+                           "/data-hash-" version ".tar.gz"))
+       (sha256
+        (base32 "1ghbqvc48gf9p8wiy71hdpaj7by3b9cw6wgwi3qqz8iw054xs5wi"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)))
+    (home-page "https://hackage.haskell.org/package/data-hash")
+    (synopsis "Combinators for building fast hashing functions")
+    (description
+     "Combinators for building fast hashing functions.  Includes hashing
+functions for all basic Haskell98 types.")
+    (license license:bsd-3)))
+
 (define-public ghc-hunit
   (package
     (name "ghc-hunit")
-- 
2.13.4

[0002-gnu-Add-ghc-murmur-hash.patch (text/x-diff, inline)]

From 5cdf99afbd92e9181e9213979de7e7bbc02c41f9 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:05:36 +0800
Subject: [PATCH 2/8] gnu: Add ghc-murmur-hash.

* gnu/packages/haskell.scm (ghc-murmur-hash): New variable.
---
 gnu/packages/haskell.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d054753b3..4b1543233 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1880,6 +1880,27 @@ combine hash values.")
 functions for all basic Haskell98 types.")
     (license license:bsd-3)))
 
+(define-public ghc-murmur-hash
+  (package
+    (name "ghc-murmur-hash")
+    (version "0.1.0.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/murmur-hash"
+                           "/murmur-hash-" version ".tar.gz"))
+       (sha256
+        (base32 "1bb58kfnzvx3mpc0rc0dhqc1fk36nm8prd6gvf20gk6lxaadpfc9"))))
+    (build-system haskell-build-system)
+    (home-page "https://github.com/nominolo/murmur-hash")
+    (synopsis "MurmurHash2 implementation for Haskell")
+    (description
+     "Implements MurmurHash2, a good, fast, general-purpose, non-cryptographic
+hashing function.  See @url{https://sites.google.com/site/murmurhash/} for
+details.  This implementation is pure Haskell, so it might be a bit slower than
+a C FFI binding.")
+    (license license:bsd-3)))
+
 (define-public ghc-hunit
   (package
     (name "ghc-hunit")
-- 
2.13.4

[0003-gnu-Add-ghc-edisonapi.patch (text/x-diff, inline)]

From abc98c9c108aac8591c002426dabc4b10e267647 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:09:03 +0800
Subject: [PATCH 3/8] gnu: Add ghc-edisonapi.

* gnu/packages/haskell.scm (ghc-edisonapi): New variable.
---
 gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 4b1543233..e2fa7aace 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3870,6 +3870,31 @@ different keys; hence the name.  Also provided is a @code{locker} type,
 representing a store for a single element.")
     (license license:bsd-3)))
 
+(define-public ghc-edisonapi
+  (package
+    (name "ghc-edisonapi")
+    (version "1.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/EdisonAPI"
+                           "/EdisonAPI-" version ".tar.gz"))
+       (sha256
+        (base32 "0vmmlsj8ggbpwx6fkf5fvb6jp0zpx6iba6b28m80lllr2p8bi8wm"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-mtl" ,ghc-mtl)))
+    (home-page "http://rwd.rdockins.name/edison/home/")
+    (synopsis "Library of efficient, purely-functional data structures (API)")
+    (description
+     "Edison is a library of purely functional data structures written by
+Chris Okasaki.  It is named after Thomas Alva Edison and for the mnemonic value
+EDiSon (Efficient Data Structures).  Edison provides several families of
+abstractions, each with multiple implementations.  The main abstractions
+provided by Edison are: Sequences such as stacks, queues, and dequeues;
+Collections such as sets, bags and heaps; and Associative Collections such as
+finite maps and priority queues where the priority and element are distinct.")
+    (license license:expat)))
+
 (define-public ghc-mmorph
   (package
     (name "ghc-mmorph")
-- 
2.13.4

[0004-gnu-Add-ghc-edisoncore.patch (text/x-diff, inline)]

From 0dd3f97e1764a0fad07859895c683b64cfa6e6de Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:10:39 +0800
Subject: [PATCH 4/8] gnu: Add ghc-edisoncore.

* gnu/packages/haskell.scm (ghc-edisoncore): New variable.
---
 gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index e2fa7aace..8a08ad906 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3895,6 +3895,34 @@ Collections such as sets, bags and heaps; and Associative Collections such as
 finite maps and priority queues where the priority and element are distinct.")
     (license license:expat)))
 
+(define-public ghc-edisoncore
+  (package
+    (name "ghc-edisoncore")
+    (version "1.3.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/EdisonCore"
+                           "/EdisonCore-" version ".tar.gz"))
+       (sha256
+        (base32 "06shxmcqxcahcn6zgl64vlqix4fnq53d97drcgsh94qp7gp201ry"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-mtl" ,ghc-mtl)
+       ("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-edisonapi" ,ghc-edisonapi)))
+    (home-page "http://rwd.rdockins.name/edison/home/")
+    (synopsis
+     "Library of efficent, purely-functional data structures
+(Core Implementations)")
+    (description
+     "This package provides the core Edison data structure implementations,
+including multiple sequence, set, bag, and finite map concrete implementations
+with various performance characteristics.  The implementations in this package
+have no dependencies other than those commonly bundled with Haskell
+compilers.")
+    (license license:expat)))
+
 (define-public ghc-mmorph
   (package
     (name "ghc-mmorph")
-- 
2.13.4

[0005-gnu-Add-ghc-fail.patch (text/x-diff, inline)]

From e43cfe603c08d70423af42f35173294a15145a05 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:13:42 +0800
Subject: [PATCH 5/8] gnu: Add ghc-fail.

* gnu/packages/haskell.scm (ghc-fail): New variable.
---
 gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 8a08ad906..4a322ca4b 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3972,6 +3972,30 @@ a subset of @code{MonadBase} into which generic control operations such as
 @code{catch} can be lifted from @code{IO} or any other base monad.")
     (license license:bsd-3)))
 
+(define-public ghc-fail
+  (package
+    (name "ghc-fail")
+    (version "4.9.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/fail/fail-"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "18nlj6xvnggy61gwbyrpmvbdkq928wv0wx2zcsljb52kbhddnp3d"))))
+    (build-system haskell-build-system)
+    (home-page "https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail")
+    (synopsis "Forward-compatible MonadFail class")
+    (description
+     "This package contains the \"Control.Monad.Fail\" module providing the
+@uref{https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail, MonadFail}
+class that became available in
+@uref{https://hackage.haskell.org/package/base-4.9.0.0, base-4.9.0.0} for older
+@code{base} package versions.  This package turns into an empty package when
+used with GHC versions which already provide the \"Control.Monad.Fail\" module
+to make way for GHC's own \"Control.Monad.Fail\" module.")
+    (license license:bsd-3)))
+
 (define-public ghc-byteorder
   (package
     (name "ghc-byteorder")
-- 
2.13.4

[0006-gnu-Add-ghc-monadplus.patch (text/x-diff, inline)]

From d21b1af8916ae507400a9a8e2cb51c9bdb72586b Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:15:12 +0800
Subject: [PATCH 6/8] gnu: Add ghc-monadplus.

* gnu/packages/haskell.scm (ghc-monadplus): New variable.
---
 gnu/packages/haskell.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 4a322ca4b..6ad6f7799 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3996,6 +3996,26 @@ used with GHC versions which already provide the \"Control.Monad.Fail\" module
 to make way for GHC's own \"Control.Monad.Fail\" module.")
     (license license:bsd-3)))
 
+(define-public ghc-monadplus
+  (package
+    (name "ghc-monadplus")
+    (version "1.4.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/monadplus"
+                           "/monadplus-" version ".tar.gz"))
+       (sha256
+        (base32 "15b5320wdpmdp5slpphnc1x4rhjch3igw245dp2jxbqyvchdavin"))))
+    (build-system haskell-build-system)
+    (home-page "https://hackage.haskell.org/package/monadplus")
+    (synopsis
+     "Filtering and folding over arbitrary @code{MonadPlus} instances")
+    (description
+     "This package generalizes many common stream operations such as
+@code{filter}, @code{catMaybes} etc.")
+    (license license:bsd-3)))
+
 (define-public ghc-byteorder
   (package
     (name "ghc-byteorder")
-- 
2.13.4

[0007-gnu-Add-ghc-geniplate-mirror.patch (text/x-diff, inline)]

From 857831b8908aa6d8732be76878b2dba3fed93f07 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:20:37 +0800
Subject: [PATCH 7/8] gnu: Add ghc-geniplate-mirror.

* gnu/packages/haskell.scm (ghc-geniplate-mirror): New variable.
---
 gnu/packages/haskell.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 6ad6f7799..7ecbccacb 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5778,6 +5778,28 @@ and @code{Eq} instances.  These instances used to live in the haskell-src-meta
 package, and that's where the version number started.")
     (license license:bsd-3)))
 
+(define-public ghc-geniplate-mirror
+  (package
+    (name "ghc-geniplate-mirror")
+    (version "0.7.5")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package"
+                           "/geniplate-mirror"
+                           "/geniplate-mirror-" version ".tar.gz"))
+       (sha256
+        (base32 "17vjps2118s5z3k39ij00lkmkxv3mqf8h59wv6qdamlgmhyr36si"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-mtl" ,ghc-mtl)))
+    (home-page "https://github.com/danr/geniplate")
+    (synopsis "Use Template Haskell to generate Uniplate-like functions")
+    (description
+     "Use Template Haskell to generate Uniplate-like functions.  This is a
+maintained mirror of the @uref{https://hackage.haskell.org/package/geniplate,
+geniplate} package, written by Lennart Augustsson.")
+    (license license:bsd-3)))
+
 (define-public ghc-haskell-src-meta
   (package
     (name "ghc-haskell-src-meta")
-- 
2.13.4

[0008-gnu-Add-ghc-gitrev.patch (text/x-diff, inline)]

From 77f25bfeaec40a4cdb08a053bc41527b2dd6e738 Mon Sep 17 00:00:00 2001
From: Alex Vong <alexvong1995 <at> gmail.com>
Date: Mon, 7 Aug 2017 15:22:00 +0800
Subject: [PATCH 8/8] gnu: Add ghc-gitrev.

* gnu/packages/haskell.scm (ghc-gitrev): New variable.
---
 gnu/packages/haskell.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 7ecbccacb..14bc1dddb 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5800,6 +5800,28 @@ maintained mirror of the @uref{https://hackage.haskell.org/package/geniplate,
 geniplate} package, written by Lennart Augustsson.")
     (license license:bsd-3)))
 
+(define-public ghc-gitrev
+  (package
+    (name "ghc-gitrev")
+    (version "1.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/gitrev/gitrev-"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "0cl3lfm6k1h8fxp2vxa6ihfp4v8igkz9h35iwyq2frzm4kdn96d8"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-base-compat" ,ghc-base-compat)))
+    (home-page "https://github.com/acfoltzer/gitrev")
+    (synopsis "Compile git revision info into Haskell projects")
+    (description
+     "Some handy Template Haskell splices for including the current git hash
+and branch in the code of your project.  Useful for including in panic
+messages, @command{--version} output, or diagnostic info for more informative
+bug reports.")
+    (license license:bsd-3)))
+
 (define-public ghc-haskell-src-meta
   (package
     (name "ghc-haskell-src-meta")
-- 
2.13.4

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

Cheers,
Alex

[signature.asc (application/pgp-signature, inline)]

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

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Alex Vong <alexvong1995 <at> gmail.com>
Cc: 27987 <at> debbugs.gnu.org
Subject: Re: [bug#27987] Dependencies for Agda - a dependently typed
 functional language
Date: Wed, 16 Aug 2017 16:54:56 +0200

Hi Alex,

> I wish to introduce Agda to Guix. The patches below are some dependecies
> for Agda. There are more to come...

Thank you.  I have changed the descriptions, ran “guix lint” and pushed
the patches from this email with commit 96f23b62e to master.

--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

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

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Alex Vong <alexvong1995 <at> gmail.com>
Cc: 27987-done <at> debbugs.gnu.org
Subject: Re: [bug#27987] Dependencies for Agda - a dependently typed
 functional language
Date: Wed, 16 Aug 2017 17:08:33 +0200

Hi Alex,

> Here is the remaining dependencies for Agda. Actually I have already
> managed to get Agda to build, but I still need to figure out how to
> build the standard library.

Thank you.  I’ve pushed the patches to master af4db693d after slight
changes to the descriptions.

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

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

From: Alex Vong <alexvong1995 <at> gmail.com>
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: 27987-done <at> debbugs.gnu.org
Subject: Re: [bug#27987] Dependencies for Agda - a dependently typed
 functional language
Date: Thu, 17 Aug 2017 08:40:42 +0800

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

Ricardo Wurmus <rekado <at> elephly.net> writes:

> Hi Alex,
>
>> Here is the remaining dependencies for Agda. Actually I have already
>> managed to get Agda to build, but I still need to figure out how to
>> build the standard library.
>
> Thank you.  I’ve pushed the patches to master af4db693d after slight
> changes to the descriptions.

Thanks of taking care of it. I tried to change some haddock markup to
texinfo notation, but I am new to both :)

[signature.asc (application/pgp-signature, inline)]

Previous Next

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