GNU bug report logs - #56315
Add ghc-microspec

Previous Next

Package: guix-patches;

Reported by: WinterHound <winterhound <at> yandex.com>

Date: Thu, 30 Jun 2022 04:53:02 UTC

Severity: normal

Merged with 56310, 56313, 56314

To reply to this bug, email your comments to 56315 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 guix-patches <at> gnu.org:
bug#56315; Package guix-patches. (Thu, 30 Jun 2022 04:53:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to WinterHound <winterhound <at> yandex.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Thu, 30 Jun 2022 04:53:02 GMT) Full text and rfc822 format available.

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

From: WinterHound <winterhound <at> yandex.com>
To: guix-patches <at> gnu.org
Cc: WinterHound <winterhound <at> yandex.com>
Subject: Add ghc-microspec
Date: Thu, 30 Jun 2022 10:21:08 +0530
---
 gnu/packages/haskell-check.scm | 55 +++++++++++++++++++++++-----------
 1 file changed, 37 insertions(+), 18 deletions(-)

diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index 62433cdb15..06c11e2ccb 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -1214,31 +1214,31 @@ (define-public ghc-tasty-silver
     (name "ghc-tasty-silver")
     (version "3.2.3")
     (source
-      (origin
-        (method url-fetch)
-        (uri (string-append
-               "https://hackage.haskell.org/package/tasty-silver/tasty-silver-"
-               version
-               ".tar.gz"))
-        (sha256
-          (base32 "0nvh2k8iqqkanmp7lpwd3asimyarzisly8wavbdahcxryn0j4xb7"))))
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/tasty-silver/tasty-silver-"
+             version
+             ".tar.gz"))
+       (sha256
+        (base32 "0nvh2k8iqqkanmp7lpwd3asimyarzisly8wavbdahcxryn0j4xb7"))))
     (build-system haskell-build-system)
     (inputs
-      (list ghc-ansi-terminal
-            ghc-async
-            ghc-optparse-applicative
-            ghc-process-extras
-            ghc-regex-tdfa
-            ghc-semigroups
-            ghc-tagged
-            ghc-tasty
-            ghc-temporary))
+     (list ghc-ansi-terminal
+           ghc-async
+           ghc-optparse-applicative
+           ghc-process-extras
+           ghc-regex-tdfa
+           ghc-semigroups
+           ghc-tagged
+           ghc-tasty
+           ghc-temporary))
     (native-inputs
      (list ghc-tasty-hunit ghc-silently))
     (home-page "https://github.com/phile314/tasty-silver")
     (synopsis "Fancy test runner, including support for golden tests")
     (description
-      "This package provides a fancy test runner and support for @dfn{golden
+     "This package provides a fancy test runner and support for @dfn{golden
 testing}.  A golden test is an IO action that writes its result to a file.  To
 pass the test, this output file should be identical to the corresponding
 ``golden'' file, which contains the correct result for the test.  The test
@@ -1246,3 +1246,22 @@ (define-public ghc-tasty-silver
 result of golden tests.")
     (license license:expat)))
 
+(define-public ghc-microspec
+  (package
+    (name "ghc-microspec")
+    (version "0.2.1.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "microspec" version))
+       (sha256
+        (base32 "0615gdbsk7i3w71adjp69zabw4mli965wffm2h846hp6pjj31xcb"))))
+    (build-system haskell-build-system)
+    (inputs (list ghc-quickcheck))
+    (home-page "http://hackage.haskell.org/package/microspec")
+    (synopsis "Tiny QuickCheck test library with minimal dependencies")
+    (description
+     "This package provides a tiny (1 module, <500 lines) property-based
+(and unit) testing library with minimal dependencies.")
+    (license license:bsd-3)))
+
-- 
2.36.1





Merged 56310 56313 56314 56315. Request was from Lars-Dominik Braun <lars <at> 6xq.net> to control <at> debbugs.gnu.org. (Thu, 30 Jun 2022 07:46:02 GMT) Full text and rfc822 format available.

This bug report was last modified 2 years and 351 days ago.

Previous Next


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