X-Loop: help-debbugs@HIDDEN
Subject: [bug#56315] Add ghc-microspec
Resent-From: WinterHound <winterhound@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 30 Jun 2022 04:53:02 +0000
Resent-Message-ID: <handler.56315.B.16565647576888 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 56315
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords:
To: 56315 <at> debbugs.gnu.org
Cc: WinterHound <winterhound@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.16565647576888
(code B ref -1); Thu, 30 Jun 2022 04:53:02 +0000
Received: (at submit) by debbugs.gnu.org; 30 Jun 2022 04:52:37 +0000
Received: from localhost ([127.0.0.1]:60585 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1o6mAP-0001n2-G8
for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 00:52:37 -0400
Received: from lists.gnu.org ([209.51.188.17]:43980)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <winterhound@HIDDEN>) id 1o6mAN-0001mt-00
for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 00:52:35 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:45924)
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <winterhound@HIDDEN>)
id 1o6mAM-0003tG-O0
for guix-patches@HIDDEN; Thu, 30 Jun 2022 00:52:34 -0400
Received: from forward102j.mail.yandex.net ([2a02:6b8:0:801:2::102]:57028)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <winterhound@HIDDEN>)
id 1o6mAI-00074A-Fo
for guix-patches@HIDDEN; Thu, 30 Jun 2022 00:52:34 -0400
Received: from iva4-f37646ae0ac9.qloud-c.yandex.net
(iva4-f37646ae0ac9.qloud-c.yandex.net
[IPv6:2a02:6b8:c0c:129b:0:640:f376:46ae])
by forward102j.mail.yandex.net (Yandex) with ESMTP id 879434BE96B3
for <guix-patches@HIDDEN>; Thu, 30 Jun 2022 07:51:28 +0300 (MSK)
Received: from iva3-6d6b5ab252da.qloud-c.yandex.net
(iva3-6d6b5ab252da.qloud-c.yandex.net [2a02:6b8:c0c:c19:0:640:6d6b:5ab2])
by iva4-f37646ae0ac9.qloud-c.yandex.net (mxback/Yandex) with ESMTP id
dx3s4WOQvS-pSg8shXd; Thu, 30 Jun 2022 07:51:28 +0300
X-Yandex-Fwd: 2
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.com; s=mail;
t=1656564688; bh=HmwrMiG6VHRlWJz6K2nCgFP/H9rd3G7YCmDu2Dw5nQc=;
h=In-Reply-To:References:Date:Subject:Cc:To:From:Message-Id;
b=pNAbTcMThT57WFG3mqz2IXYVb2DHlTcCJAWnzDf9OlQwaPeuseHT8p5I3L6foPRS8
egAnva15lS3z3RC0nu3o8n+njPzINX2yeD6rD7NBYwVHGXBuKLKW8tci6LiZKmMZAW
k3jSpvhKFNll0d69tWi9Rab5Gpa5bhRmFoCia9fE=
Authentication-Results: iva4-f37646ae0ac9.qloud-c.yandex.net;
dkim=pass header.i=@yandex.com
Received: by iva3-6d6b5ab252da.qloud-c.yandex.net (smtp/Yandex) with ESMTPSA
id ZiVBzthO9t-pRNiQiMo; Thu, 30 Jun 2022 07:51:27 +0300
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
(Client certificate not present)
From: WinterHound <winterhound@HIDDEN>
Date: Thu, 30 Jun 2022 10:21:08 +0530
Message-Id: <20220630045109.17836-2-winterhound@HIDDEN>
X-Mailer: git-send-email 2.36.1
In-Reply-To: <20220630045109.17836-1-winterhound@HIDDEN>
References: <20220630045109.17836-1-winterhound@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2a02:6b8:0:801:2::102;
envelope-from=winterhound@HIDDEN; helo=forward102j.mail.yandex.net
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)
---
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
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: WinterHound <winterhound@HIDDEN> Subject: bug#56315: Acknowledgement (Add ghc-microspec) Message-ID: <handler.56315.B.16565647576888.ack <at> debbugs.gnu.org> References: <20220630045109.17836-2-winterhound@HIDDEN> X-Gnu-PR-Message: ack 56315 X-Gnu-PR-Package: guix-patches Reply-To: 56315 <at> debbugs.gnu.org Date: Thu, 30 Jun 2022 04:53:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 56315 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 56315: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D56315 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
Received: (at control) by debbugs.gnu.org; 30 Jun 2022 07:45:41 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jun 30 03:45:41 2022 Received: from localhost ([127.0.0.1]:60880 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1o6ort-0006w3-E5 for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 03:45:41 -0400 Received: from mout-p-101.mailbox.org ([80.241.56.151]:34316) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <lars@HIDDEN>) id 1o6orr-0006vn-5m for control <at> debbugs.gnu.org; Thu, 30 Jun 2022 03:45:40 -0400 Received: from smtp202.mailbox.org (smtp202.mailbox.org [IPv6:2001:67c:2050:b231:465::202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-101.mailbox.org (Postfix) with ESMTPS id 4LYVk30myDz9sRJ for <control <at> debbugs.gnu.org>; Thu, 30 Jun 2022 09:45:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001; t=1656575131; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=JvaHe07J8Ocy4fOsabKy1mnCEtXOfWp8YFP7CfY+X84=; b=QwBFJ/kRI651HyQzz3FjnOSo5dtac2nkH4GvdwlXw9df3aHJy+J4FRDX6bduYrDfPD5dXP FJqNJcGAHxbmdBrikj8+GcKNen9fvtio/RlxLcfYIozqom95zkpea1jriZrTKtidN+KEgU C7e6cS/b8Bpbo/kZ4l91F7JUVEaHvSCOyiU7lNZ5YxpbogK+Kgps1lBOme8O5Is3OcBGUb xTNvhSpN+Xa11zg+V1mE0TmWKzVMoI14rvn7Sh2Ia+R+7H+BlrjNSqNI/bDd/2DE6TCznh 7r/YJr1S08Fg36QBDZgRVfLjHJXyBfwWMhrkIMJdYI2TT2imww+/lsfPFUySXA== Date: Thu, 30 Jun 2022 09:45:29 +0200 From: Lars-Dominik Braun <lars@HIDDEN> To: control <at> debbugs.gnu.org Subject: Re: [bug#56310] Add tidal Message-ID: <Yr1UmUXvaHB17eie@HIDDEN> References: <20220630040922.5425-1-winterhound@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20220630040922.5425-1-winterhound@HIDDEN> X-Rspamd-Queue-Id: 4LYVk30myDz9sRJ X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.7 (-) merge 56310 56313 56315 56314
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.