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.