From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id uPdbDUwSk1+vQQAA0tVLHw (envelope-from ) for ; Fri, 23 Oct 2020 17:26:36 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id CHxACUwSk19qBQAAbx9fmQ (envelope-from ) for ; Fri, 23 Oct 2020 17:26:36 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 236C994043B for ; Fri, 23 Oct 2020 17:26:35 +0000 (UTC) Received: from localhost ([::1]:60162 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kW0pm-0004AZ-3u for larch@yhetil.org; Fri, 23 Oct 2020 13:26:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34068) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kW0pH-0003SL-Oy for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46750) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kW0pH-0000PV-Fo for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kW0pH-0000Ec-CK for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44174] [PATCH 04/16] gnu: Upgrade ghc-doctest. Resent-From: Carlo Holl Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 23 Oct 2020 17:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 44174@debbugs.gnu.org Cc: Carlo Holl Received: via spool by 44174-submit@debbugs.gnu.org id=B44174.1603473944767 (code B ref 44174); Fri, 23 Oct 2020 17:26:03 +0000 Received: (at 44174) by debbugs.gnu.org; 23 Oct 2020 17:25:44 +0000 Received: from localhost ([127.0.0.1]:58269 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kW0oy-0000CC-4B for submit@debbugs.gnu.org; Fri, 23 Oct 2020 13:25:44 -0400 Received: from mail-pf1-f174.google.com ([209.85.210.174]:44202) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kW0W0-000856-W8 for 44174@debbugs.gnu.org; Fri, 23 Oct 2020 13:06:10 -0400 Received: by mail-pf1-f174.google.com with SMTP id f19so1804786pfj.11 for <44174@debbugs.gnu.org>; Fri, 23 Oct 2020 10:06:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=2d+iww1wqMMi15Sc0QD2n2m7XIJ5naN+dAoSV2jyUGo=; b=Mj1bW0DwOck3Q2BJ4GXKvSg8HMvxb/au2+GZn5ycR1VEgzSCUshb8MyCDO3R/mw8+1 g8BjqRwuT76qXnN4WffSgjhzpd+8wrJGAfkg27vbDyDuj2ZbFIapNWfFoKK5eOnSlqb0 X49p+Si9nLFUcdBgDzBKuZZBSMvADDy2pauvYXCfjAuZzfZZaBa3YAYpabt3joZhNZVf IuqEtK9LoaK85PbuPe3LUYztdjommE8MID3J1Vct147GKDFOLlwG5L3m2V1yvMH4T9uV OjdnbFbwZ5NsGf0U3xM1eANEzdAC/yGzKKPJ7xSL4lVWQPb722Z5dydPpxGtaVjujg5n /FaQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=2d+iww1wqMMi15Sc0QD2n2m7XIJ5naN+dAoSV2jyUGo=; b=Iep/Y93PyM3lmilOU+tDKHUVUlCKBrA29Y6hhjxFnz5fvNNtHXhC2sbZhFR8IvO0h+ gTut62HjLbXl4iNgwY6T2eXgHPBr9AmUMpZR64PMkgH2/r/NV6FyoK/YUQLpAPh6w07Q l3Zib3Xfea5djheX0nSq/B9SFUvrOy1tmppMlNIlbmGHWTbjmTeQYVPwDjz3ayTwqAih nmA4DoPx4oJtQJ3kto9NaCEOIPTBJCJ3WQbtR7Sal8p+gK87Xll0lyJg2AMSdgSxckM/ kqM2xa1SOL7QlXGz4OLfCVgEs2snM4AVimt88AMra8ij3J/xkGbqAhQXDQjt2q7Qv/E1 /bLQ== X-Gm-Message-State: AOAM533IyK8W8kQW3fHpOXZWjnk+r6oxsM3RFUKOw4Wl32T3ramgszzB Iz/gTC1NEEwXE3m7ZpBdsYn7EEJl2/Q= X-Google-Smtp-Source: ABdhPJyvduiM2bP/oFV0V+u4JUBCfWTZSZDsVGorX4+AHkdkoGiGUubEjQJSG/NJHIqSvr3lxYQSxg== X-Received: by 2002:a17:90a:7802:: with SMTP id w2mr3765550pjk.160.1603472763141; Fri, 23 Oct 2020 10:06:03 -0700 (PDT) Received: from cehdev.hsd1.ca.comcast.net ([2603:3024:1704:300::7ae9]) by smtp.gmail.com with ESMTPSA id q10sm2976825pjd.6.2020.10.23.10.06.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 23 Oct 2020 10:06:02 -0700 (PDT) From: Carlo Holl Date: Fri, 23 Oct 2020 10:05:32 -0700 Message-Id: <20201023170544.9860-4-carloholl@gmail.com> X-Mailer: git-send-email 2.28.0 In-Reply-To: <20201023170544.9860-1-carloholl@gmail.com> References: <20201023170544.9860-1-carloholl@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Mailman-Approved-At: Fri, 23 Oct 2020 13:25:42 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 X-Spam-Score: 6.59 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=Mj1bW0Dw; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam: Yes X-TUID: ZtKhk/INvzOP --- gnu/packages/haskell-xyz.scm | 35 ++++++++++++++++++++--------------- 1 file changed, 20 insertions(+), 15 deletions(-) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 803ee995c0..ad9c49ddeb 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -3416,7 +3416,7 @@ Writer monad), where list append quickly becomes too expensive.") (define-public ghc-doctest (package (name "ghc-doctest") - (version "0.16.2") + (version "0.16.3") (source (origin (method url-fetch) @@ -3426,26 +3426,31 @@ Writer monad), where list append quickly becomes too expensive.") ".tar.gz")) (sha256 (base32 - "0lk4cjfzi5bx2snfzw1zi06li0gvgz3ckfh2kwa98l7nxfdl39ag")))) + "1y1l7aa80qkib1z8lsizgg7fpfdmdwhxvi5m255a42jdkjgn5sfg")))) (build-system haskell-build-system) (arguments `(#:tests? #f)) ; FIXME: missing test framework (inputs - `(("ghc-syb" ,ghc-syb) - ("ghc-paths" ,ghc-paths) - ("ghc-base-compat" ,ghc-base-compat) - ("ghc-code-page" ,ghc-code-page) - ("ghc-hunit" ,ghc-hunit) - ("ghc-hspec" ,ghc-hspec) - ("ghc-quickcheck" ,ghc-quickcheck) - ("ghc-stringbuilder" ,ghc-stringbuilder) - ("ghc-silently" ,ghc-silently) - ("ghc-setenv" ,ghc-setenv))) + `(("ghc-base-compat" ,ghc-base-compat) + ("ghc-code-page" ,ghc-code-page) + ("ghc-paths" ,ghc-paths) + ("ghc-syb" ,ghc-syb))) + (native-inputs + `(("ghc-hunit" ,ghc-hunit) + ("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-hspec" ,ghc-hspec) + ("ghc-hspec-core" ,ghc-hspec-core) + ("ghc-mockery" ,ghc-mockery) + ("ghc-setenv" ,ghc-setenv) + ("ghc-silently" ,ghc-silently) + ("ghc-stringbuilder" ,ghc-stringbuilder))) (home-page "https://github.com/sol/doctest#readme") (synopsis "Test interactive Haskell examples") - (description "The doctest program checks examples in source code comments. -It is modeled after doctest for Python, see -@uref{https://docs.python.org/library/doctest.html, the Doctest website}.") + (description + "The doctest program checks examples in source code comments. It is modeled +after doctest for Python (@url{http://docs.python.org/library/doctest.html}). + +Documentation is at @url{https://github.com/sol/doctest#readme}.") (license license:expat))) (define-public ghc-dotgen -- 2.28.0