From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46054) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1deNtS-0008CW-Ds for guix-patches@gnu.org; Sun, 06 Aug 2017 11:55:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1deNtO-0008VR-8D for guix-patches@gnu.org; Sun, 06 Aug 2017 11:55:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:42216) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1deNtO-0008VN-4G for guix-patches@gnu.org; Sun, 06 Aug 2017 11:55:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1deNtN-0001Lc-SR for guix-patches@gnu.org; Sun, 06 Aug 2017 11:55:01 -0400 Subject: [bug#27987] Dependencies for Agda - a dependently typed functional language Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45940) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1deNsy-00081S-HD for guix-patches@gnu.org; Sun, 06 Aug 2017 11:54:38 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1deNsu-0008J2-IH for guix-patches@gnu.org; Sun, 06 Aug 2017 11:54:36 -0400 Received: from mail-pg0-x22b.google.com ([2607:f8b0:400e:c05::22b]:36645) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1deNsu-0008I2-4h for guix-patches@gnu.org; Sun, 06 Aug 2017 11:54:32 -0400 Received: by mail-pg0-x22b.google.com with SMTP id v77so24934134pgb.3 for ; Sun, 06 Aug 2017 08:54:30 -0700 (PDT) From: Alex Vong Date: Sun, 06 Aug 2017 23:54:14 +0800 Message-ID: <87efsoofo9.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 27987@debbugs.gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Hello, I wish to introduce Agda to Guix. The patches below are some dependecies for Agda. There are more to come... --=-=-= Content-Type: text/x-diff; charset=utf-8 Content-Disposition: inline; filename=0001-gnu-cpphs-Update-to-1.20.8.patch Content-Transfer-Encoding: quoted-printable From=20792e06adee38186dc3154b8e5f3f84db3875e019 Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -10,6 +10,7 @@ ;;; Copyright =C2=A9 2016, 2017 David Craven ;;; Copyright =C2=A9 2017 Danny Milosavljevic ;;; Copyright =C2=A9 2017 Peter Mikkelsen +;;; Copyright =C2=A9 2017 Alex Vong ;;; ;;; This file is part of GNU Guix. ;;; @@ -1324,7 +1325,7 @@ various Haskell streaming data libraries, such as @co= de{conduit} and (define-public cpphs (package (name "cpphs") =2D (version "1.19.3") + (version "1.20.8") (source (origin (method url-fetch) @@ -1333,7 +1334,7 @@ various Haskell streaming data libraries, such as @co= de{conduit} and name "-" version ".tar.gz")) (sha256 (base32 =2D "1njpmxgpah5pcqppcl1cxb5xicf6xlqrd162qm12khp9hainlm72")))) + "1bh524asqhk9v1s0wvipl0hgn7l63iy3js867yv0z3h5v2kn8vg5")))) (build-system haskell-build-system) (inputs `(("ghc-polyparse" ,ghc-polyparse) =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0002-gnu-Add-ghc-strict.patch Content-Transfer-Encoding: quoted-printable From=2097d360bb46d727a5129416cd4bfaea54cd0adede Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1808,6 +1808,25 @@ capabilities that are optimized for performance crit= ical use, both in terms of large data quantities and high speed.") (license license:bsd-3))) =20 +(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/str= ict-" + 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") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0003-gnu-Add-ghc-stmonadtrans.patch Content-Transfer-Encoding: quoted-printable From=2048566e3dd705cbd2f8ad34b38e03e639e9e6e5a7 Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -7076,6 +7076,31 @@ other transformers.") (base32 "0a364zfcm17mhpy0c4ms2j88sys4yvgd6071qsgk93la2wjm8mkr"))))= )) =20 +(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/STMonadTra= ns" + "/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 answe= rs, +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, Reade= r, +Writer, Maybe and combinations of their corresponding monad transformers.") + (license license:bsd-3))) + (define-public ghc-findbin (package (name "ghc-findbin") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0004-gnu-Add-ghc-edit-distance.patch Content-Transfer-Encoding: quoted-printable From=202c47df61ed829417127916a44877809eb934640b Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- 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))) =20 +(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-dista= nce" + "/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 distanc= es") + (description + "Optimized edit distances for fuzzy matching, including Levenshtein a= nd +restricted Damerau-Levenshtein algorithms.") + (license license:bsd-3))) + (define-public ghc-tasty-kat (package (name "ghc-tasty-kat") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0005-gnu-Add-ghc-boxes.patch Content-Transfer-Encoding: quoted-printable From=2028ebe7e4b96d61f5f55c3af517a871127baf5dfd Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5101,6 +5101,28 @@ prettified JSON to stdout. It also offers a complem= entary \"compact\"-mode, essentially the opposite of pretty-printing.") (license license:bsd-3))) =20 +(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/boxe= s-" + 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") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0006-gnu-Add-ghc-equivalence.patch Content-Transfer-Encoding: quoted-printable From=20a4c668273df8e726625bf4c8aa828d13bca946f2 Mon Sep 17 00:00:00 2001 From: Alex Vong 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. =2D-- 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 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -4714,6 +4714,36 @@ definition of @code{Monad}.") for Haskell.") (license license:bsd-3))) =20 +(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/equivalenc= e" + "/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") =2D-=20 2.13.4 --=-=-= Content-Type: text/plain Cheers, Alex --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEdZDkzSn0Cycogr9IxYq4eRf1Ea4FAlmHO6YACgkQxYq4eRf1 Ea5FHg//QxW5F6ysoF1o788P5B8SHsf2ytcjHjpx/DS4rj8AessbPfexz0G2b+vH MRYVb92yYgPRABMUH2zhmiIvZxcAxFdJcNzu1iU8jol4FCnIQEDzhQLEZvkxHwUh eQvYhub4SlbIoVs4tjLCAls0mEk7k0VEQ323S1JpCthw1rJNPaZDRkPWe8dd49vf ex9ixGDGKCOWjUd2F3oroQBBFWasFGWM2/nCSbQLfH9E0sYxsTi50idfeo1bI5J3 IDKQJbadAGlFWFNilJTVh6XoC9XxaR7l/f3cwbiCIadM3OQI8wNTd426PbvkLEtD SuWsl7129UWPKHxK4xJiblRxL52t/m/hMW9PMc76FWdlFQjvO0ov69GCFstVq5+N TyG+Qw22nsDeFfccBaef7Vi5agSPYyvvnm4XaX5QlVCKBEOtuk4h7B2wm/mHj1SC 1LDkXydHHnXpDnsGZmCww6mDho9pRcvd6temhh9S+Sifd5C3NJWgdSZEgyQ9F2lZ 4fSjKzykyG5OzlaoTOKDEQ0gjdsfVbY7If3YUEdtcCMtVLg48BrNcPJZ+YTbDYcw 5Z309pXErqdOGWyJQ12X3EaihbA/fU90fcMtDCofDmrj2YLh988Bba7FTzealWpF f36srmuBwbdHd/I8O2xRGQ189D57kugc2F2d46+xPhB1VjqTD8A= =P4z5 -----END PGP SIGNATURE----- --==-=-=--