From unknown Sat Aug 16 20:56:19 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#37434 <37434@debbugs.gnu.org> To: bug#37434 <37434@debbugs.gnu.org> Subject: Status: [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. Reply-To: bug#37434 <37434@debbugs.gnu.org> Date: Sun, 17 Aug 2025 03:56:19 +0000 retitle 37434 [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. reassign 37434 guix-patches submitter 37434 ericbavier@centurylink.net severity 37434 normal tag 37434 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 16 23:37:02 2019 Received: (at submit) by debbugs.gnu.org; 17 Sep 2019 03:37:02 +0000 Received: from localhost ([127.0.0.1]:51447 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iA4IX-0000h6-Sf for submit@debbugs.gnu.org; Mon, 16 Sep 2019 23:37:02 -0400 Received: from lists.gnu.org ([209.51.188.17]:45484) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iA4IW-0000gq-MD for submit@debbugs.gnu.org; Mon, 16 Sep 2019 23:37:01 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50892) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iA4IU-0006yx-HV for guix-patches@gnu.org; Mon, 16 Sep 2019 23:36:59 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: *** X-Spam-Status: No, score=3.6 required=5.0 tests=BAYES_50,FREEMAIL_FROM, KHOP_HELO_FCRDNS,SPOOFED_FREEMAIL,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iA4IS-0004SS-UV for guix-patches@gnu.org; Mon, 16 Sep 2019 23:36:58 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:5206 helo=smtp.centurylink.net) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iA4IS-0004Rz-OZ for guix-patches@gnu.org; Mon, 16 Sep 2019 23:36:56 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1568691415; h=From:Subject:Date:To:MIME-Version; bh=MwKQ1yTHsI7ddEj/3UcdV6WVieo=; b=10TokYb5rzQNj/6sIjgzjwUp8MXaOol8stEiVBJlqRhI+lG37k1gJPEocCB686YZ qhDSkYW8HhyYu6lyxlvG/i37krrNywNWzRotEcyeUqnKcaJbYqjuq+zIO3hNPT4x sQ/gV9Zo/EARmMyfjSV+nS0ZyEzdEAjkvz+zUJncnaoVRC266gyiEAYO3MJPlLqp YWtxahHNUGj3vY0h15MvA9mrV35C6LZRdEyxrF0rFHCYtbdSSxc9oCdPURG+UwhJ eCR7NZlUhmSov/R7j6YemCsr7lnWurkU23xYDJBw8lZaKAVW2wAkZSvAS03drN5y cP8lqE2MEYjYhHAg9gIgGA==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=fqKim2wf c=1 sm=1 tr=0 a=GVJ9LTFkbBq9teHl4Ync7A==:117 a=GVJ9LTFkbBq9teHl4Ync7A==:17 a=KGjhK52YXX0A:10 a=J70Eh1EUuV4A:10 a=zSv6zi-ZgakA:10 a=eQrCS-SpgXYA:10 a=inoG4m36AAAA:8 a=2_FJSLhQ5zT1KoGrpeoA:9 a=_Qgj-RFg6mImvLaOgLPg:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine Feedback-ID: dfw:ctl:res:onyx X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Authentication-Results: smtp04.onyx.dfw.sync.lan smtp.user=ericbavier@centurylink.net; auth=pass (LOGIN) Received: from [65.128.96.128] ([65.128.96.128:59530] helo=localhost.localdomain) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTPSA (cipher=DHE-RSA-AES128-GCM-SHA256) id 28/86-30260-7D4508D5; Mon, 16 Sep 2019 23:36:55 -0400 From: ericbavier@centurylink.net To: guix-patches@gnu.org Subject: [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. Date: Mon, 16 Sep 2019 22:37:29 -0500 Message-Id: <20190917033730.28806-1-ericbavier@centurylink.net> X-Mailer: git-send-email 2.23.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 206.152.134.66 X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Eric Bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) From: Eric Bavier * gnu/packages/haskell.scm (ghc-megaparsec): Update to 7.0.5 [arguments]: Remove field. --- gnu/packages/haskell.scm | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 8787f10789..960068ab23 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -4050,7 +4050,7 @@ combinators.") (define-public ghc-megaparsec (package (name "ghc-megaparsec") - (version "6.5.0") + (version "7.0.5") (source (origin (method url-fetch) @@ -4059,11 +4059,8 @@ combinators.") version ".tar.gz")) (sha256 (base32 - "12iggy7qpf8x93jm64zf0g215xwy779bqyfyjk2bhmxqqr1yzgdy")))) + "0bqx1icbmk8s7wmbcdzsgnlh607c7kzg8l80cp02dxr5valjxp7j")))) (build-system haskell-build-system) - (arguments - `(#:cabal-revision - ("4" "0ij3asi5vwlhbgwsy6nhli9a0qb7926mg809fsgyl1rnhs9fvpx1"))) (inputs `(("ghc-case-insensitive" ,ghc-case-insensitive) ("ghc-parser-combinators" ,ghc-parser-combinators) -- 2.23.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 20 16:33:00 2019 Received: (at 37434) by debbugs.gnu.org; 20 Sep 2019 20:33:00 +0000 Received: from localhost ([127.0.0.1]:58608 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBPaO-0007pE-63 for submit@debbugs.gnu.org; Fri, 20 Sep 2019 16:33:00 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35768) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBPaM-0007p2-N0 for 37434@debbugs.gnu.org; Fri, 20 Sep 2019 16:32:59 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:59105) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iBPaH-0003jE-FN; Fri, 20 Sep 2019 16:32:53 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=48524 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iBPaG-0004kt-UK; Fri, 20 Sep 2019 16:32:53 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: ericbavier@centurylink.net Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> Date: Fri, 20 Sep 2019 22:32:50 +0200 In-Reply-To: <20190917033730.28806-1-ericbavier@centurylink.net> (ericbavier@centurylink.net's message of "Mon, 16 Sep 2019 22:37:29 -0500") Message-ID: <87ftkqpv2l.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Timothy Sample , Eric Bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Eric, ericbavier@centurylink.net skribis: > From: Eric Bavier > > * gnu/packages/haskell.scm (ghc-megaparsec): Update to 7.0.5 > [arguments]: Remove field. Since lists megaparsec 7.0.5, I think this is OK. Am I right, Timothy? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 20 18:21:25 2019 Received: (at 37434) by debbugs.gnu.org; 20 Sep 2019 22:21:25 +0000 Received: from localhost ([127.0.0.1]:58724 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBRHI-0006d0-VA for submit@debbugs.gnu.org; Fri, 20 Sep 2019 18:21:25 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:60571) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBRHE-0006ck-Rd for 37434@debbugs.gnu.org; Fri, 20 Sep 2019 18:21:21 -0400 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 7B1A7213CA; Fri, 20 Sep 2019 18:21:15 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute4.internal (MEProxy); Fri, 20 Sep 2019 18:21:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=H/+7CLtDLBNK/CL+PMTOoejvMT+uvI3Moh4NF1OKU Oc=; b=YFTHSKVVDrU37H3x3TYNnvU+lZcSU8RZjvQFqyPNxVeLGlS9+Ayevhrc5 qkNGi9fkP8j7eKPO1D5e0Z8H3NVc1yYqFcSiRZ0ErO/GvlsY7pr3NIkYgY1IXg4r 65UytLyT5IrHrGbBXaZHsZkkq9tpZdYMEY8FZJ21hNA7nz5TRgmkLeLSL2veTt0F 6igXVYFFHGzw+ueVeMiX59SczUNqjTOsM3kUM7wDte6fgSjwdhsupZ9P3cKkcf1F wyJva+5WaLy6xMcs3NNE2ATP7Tx1CGYVvijNmG+VZE9TN/BPCVD6OoAhZGrve9DB Tk8osuix161IgECB13a7Js6KdG+jg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrvdefgddtlecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufhffjgfkfgggtgfgsehtqhertddtreejnecuhfhrohhmpefvihhmohht hhihucfurghmphhlvgcuoehsrghmphhlvghtsehnghihrhhordgtohhmqeenucffohhmrg hinhepshhtrggtkhgrghgvrdhorhhgnecukfhppeejgedrudduiedrudekiedrgeegnecu rfgrrhgrmhepmhgrihhlfhhrohhmpehsrghmphhlvghtsehnghihrhhordgtohhmnecuve hluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id B9E39D6005B; Fri, 20 Sep 2019 18:21:14 -0400 (EDT) From: Timothy Sample To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> Date: Fri, 20 Sep 2019 18:21:14 -0400 In-Reply-To: <87ftkqpv2l.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Fri, 20 Sep 2019 22:32:50 +0200") Message-ID: <87impmtxr9.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Eric Bavier , ericbavier@centurylink.net X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hi Ludo and Eric, Ludovic Court=C3=A8s writes: > ericbavier@centurylink.net skribis: > >> From: Eric Bavier >> >> * gnu/packages/haskell.scm (ghc-megaparsec): Update to 7.0.5 >> [arguments]: Remove field. > > Since lists megaparsec 7.0.5, I > think this is OK. Am I right, Timothy? No! :) Stackage LTS 14 targets GHC 8.6, which we are not (yet) using for Haskell builds. We still use GHC 8.4, so we follow Stackage LTS 12 (), which lists megaparsec at 1.0.0. -- Tim From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 20 18:25:11 2019 Received: (at 37434) by debbugs.gnu.org; 20 Sep 2019 22:25:11 +0000 Received: from localhost ([127.0.0.1]:58730 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBRKw-0006jb-JK for submit@debbugs.gnu.org; Fri, 20 Sep 2019 18:25:10 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:51189) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iBRKu-0006jL-H9 for 37434@debbugs.gnu.org; Fri, 20 Sep 2019 18:25:08 -0400 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 5189D216A6; Fri, 20 Sep 2019 18:25:03 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute4.internal (MEProxy); Fri, 20 Sep 2019 18:25:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=b9eG+z ApP378SiBpzJOpYcSBDBqzwIGztqdbbEqRzhs=; b=Dx4U+hdntS5ehOErYM2A2y NaxUbjReT1zYySRLB2KRQmTmiv4d3As40+2W5Mf6mezQF5yXXtKONoYbdTWvSW76 NvAGRh/1U8/BJd3aMBmPIL2a9egTT4NjAl4cndfTxXl1eeAymszzlJ30AtzYrqpj dc57UGRixNAEtG1tXesKvdK7JlvsyBQA60GcXwYW+AQWDvmIvFZOKRVD0rOgwkFr uz3rYE9On8ob9Rcb0mLjPBZMc3+LxOizL+apkIH9+Wv8FCMJ7I+pbyI3sowVaEle BKdBdDcFhr6z9MNvtaWrBBnOYkYruzBHB27d2TnsgBSCXsUbOcThfBSWWsnjZ5ng == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrvdefgddutdcutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufhffjgfkfgggtgesthdtredttdertdenucfhrhhomhepvfhimhhothhh hicuufgrmhhplhgvuceoshgrmhhplhgvthesnhhghihrohdrtghomheqnecuffhomhgrih hnpehsthgrtghkrghgvgdrohhrghenucfkphepjeegrdduudeirddukeeirdeggeenucfr rghrrghmpehmrghilhhfrhhomhepshgrmhhplhgvthesnhhghihrohdrtghomhenucevlh hushhtvghrufhiiigvpedt X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id AEF73D6005F; Fri, 20 Sep 2019 18:25:02 -0400 (EDT) From: Timothy Sample To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> Date: Fri, 20 Sep 2019 18:25:01 -0400 In-Reply-To: <87impmtxr9.fsf@ngyro.com> (Timothy Sample's message of "Fri, 20 Sep 2019 18:21:14 -0400") Message-ID: <878sqitxky.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Eric Bavier , ericbavier@centurylink.net X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Timothy Sample writes: > Stackage LTS 14 targets GHC 8.6, which we are not (yet) using for > Haskell builds. We still use GHC 8.4, so we follow Stackage LTS 12 > (), which lists megaparsec at 1.0.0. That should 6.5.0. Sorry! I was looking at hspec-megaparsec. -- Tim From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 23 04:25:47 2019 Received: (at 37434) by debbugs.gnu.org; 23 Sep 2019 08:25:47 +0000 Received: from localhost ([127.0.0.1]:35018 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCJfH-000369-Gf for submit@debbugs.gnu.org; Mon, 23 Sep 2019 04:25:47 -0400 Received: from eggs.gnu.org ([209.51.188.92]:37453) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCJfF-00035v-RB for 37434@debbugs.gnu.org; Mon, 23 Sep 2019 04:25:46 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46345) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iCJfA-0006Uc-2p; Mon, 23 Sep 2019 04:25:40 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=37264 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iCJf9-0004Vt-46; Mon, 23 Sep 2019 04:25:39 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Timothy Sample Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 2 =?utf-8?Q?Vend=C3=A9miaire?= an 228 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 23 Sep 2019 10:25:37 +0200 In-Reply-To: <878sqitxky.fsf@ngyro.com> (Timothy Sample's message of "Fri, 20 Sep 2019 18:25:01 -0400") Message-ID: <87muevl8qm.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Eric Bavier , ericbavier@centurylink.net X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello! Timothy Sample skribis: > Timothy Sample writes: > >> Stackage LTS 14 targets GHC 8.6, which we are not (yet) using for >> Haskell builds. We still use GHC 8.4, so we follow Stackage LTS 12 >> (), which lists megaparsec at 1.0.0. > > That should 6.5.0. OK, got it=E2=80=94I had =E2=80=9CLTS=E2=80=9D right but the number wrong, = which is unfortunate. :-) Eric, could you adjust accordingly? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 23 21:59:34 2019 Received: (at 37434) by debbugs.gnu.org; 24 Sep 2019 01:59:34 +0000 Received: from localhost ([127.0.0.1]:37356 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCa73-00050y-VI for submit@debbugs.gnu.org; Mon, 23 Sep 2019 21:59:34 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:62683 helo=smtp.centurylink.net) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCa70-00050k-Ct for 37434@debbugs.gnu.org; Mon, 23 Sep 2019 21:59:30 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1569290364; h=From:Subject:Date:To:MIME-Version:Content-Type; bh=1cKi3pItZUxbghNQpCgNUj4xmeE=; b=1o8EUpze0GKDhutZmMxyOzCqFCtjpF6OLsV71/xrwic3siWPPhbwwmsuxbsjyY89 NeHGtXww1lxTqmv38UUTYsLdXVEqd6Xq0DbhlfYQ3jyPBR73LqrZxLGxL8qsLlUL 2yIOdl2iVnvO6CgIuxZsBTGGYYKnzsR140lGWNBRRG0VIf2b/+3Y6xUwQoWDlYsO Smu0rg4nO2th6RfGYNU4CDuqbZD91ex43hrRPqNbLYZcZZeytSA2hpIG6vFjq1dn QZRkY+5Ng5v1Npmv07vcqSq7lV5W7TFwoZx4mGPerBdE5t8vtCXc3gwwndzilsLB GbEl4EtfD2vtbRFG3PS+Pg==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=LaBCFQXi c=1 sm=1 tr=0 a=I9y5PUoMY6geCQGHdYIx2g==:117 a=jpOVt7BSZ2e4Z31A5e1TngXxSK0=:19 a=KGjhK52YXX0A:10 a=FKkrIqjQGGEA:10 a=OKXshHjYWGYA:10 a=IkcTkHD0fZMA:10 a=J70Eh1EUuV4A:10 a=zSv6zi-ZgakA:10 a=BnV6wE_AV8wA:10 a=eQrCS-SpgXYA:10 a=mDV3o1hIAAAA:8 a=xyPz4MZXAAAA:8 a=RoqETuJpAAAA:8 a=6wWgKd5IbdKdAsysf8QA:9 a=QEXdDO2ut3YA:10 a=_FVE-zBwftR9WsbkzFJk:22 a=MgilOBo1dlhwZn2HC1h_:22 a=rCNhq3uyZcEAo-A2mKz1:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine Feedback-ID: dfw:ctl:res:onyx X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Received: from [10.41.66.22] ([10.41.66.22:41446] helo=md02.onyx.dfw.sync.lan) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTP id 65/C7-23246-C78798D5; Mon, 23 Sep 2019 21:59:24 -0400 Date: Mon, 23 Sep 2019 21:59:24 -0400 (EDT) From: Eric Bavier To: Ludovic =?utf-8?Q?Court=C3=A8s?= Message-ID: <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> In-Reply-To: <87muevl8qm.fsf@gnu.org> References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [65.128.96.128] X-Mailer: Zimbra 8.7.6_GA_1776 (ZimbraWebClient - SAF13 (Linux)/8.7.6_GA_1776) Thread-Topic: ghc-megaparsec: Update to 7.0.5. Thread-Index: r0YOldgNkSarEFOckxJA3+965PE57Q== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Timothy Sample , bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Idris 1.3.2 unfortunately needs megaparsec>=3D7.0.4. FWIW, idris is our only package that depends on ghc-megaparsec. :) So mayb= e an upgrade is fine? I was under the impression that our 'guix refresh' updater was supposed to = use the appropriate stackage version? But it seems to be referencing versi= on 14.6. ----- On Sep 23, 2019, at 3:25 AM, Ludovic Court=C3=A8s ludo@gnu.org wrote: > Hello! >=20 > Timothy Sample skribis: >=20 >> Timothy Sample writes: >> >>> Stackage LTS 14 targets GHC 8.6, which we are not (yet) using for >>> Haskell builds. We still use GHC 8.4, so we follow Stackage LTS 12 >>> (), which lists megaparsec at 1.0.0. >> >> That should 6.5.0. >=20 > OK, got it=E2=80=94I had =E2=80=9CLTS=E2=80=9D right but the number wrong= , which is > unfortunate. :-) >=20 > Eric, could you adjust accordingly? >=20 > Thanks, > Ludo=E2=80=99. --=20 `~Eric From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 24 03:16:45 2019 Received: (at 37434) by debbugs.gnu.org; 24 Sep 2019 07:16:45 +0000 Received: from localhost ([127.0.0.1]:37527 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCf41-0004h9-D8 for submit@debbugs.gnu.org; Tue, 24 Sep 2019 03:16:45 -0400 Received: from eggs.gnu.org ([209.51.188.92]:57997) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCf40-0004gr-27 for 37434@debbugs.gnu.org; Tue, 24 Sep 2019 03:16:44 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:36777) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iCf3u-0006DX-Pq; Tue, 24 Sep 2019 03:16:38 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=53352 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iCf3s-00057a-LJ; Tue, 24 Sep 2019 03:16:37 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Eric Bavier Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 3 =?utf-8?Q?Vend=C3=A9miaire?= an 228 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 24 Sep 2019 09:16:34 +0200 In-Reply-To: <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> (Eric Bavier's message of "Mon, 23 Sep 2019 21:59:24 -0400 (EDT)") Message-ID: <87a7auqi3x.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37434 Cc: 37434@debbugs.gnu.org, Timothy Sample , bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello, Eric Bavier skribis: > Idris 1.3.2 unfortunately needs megaparsec>=3D7.0.4. > > FWIW, idris is our only package that depends on ghc-megaparsec. :) So ma= ybe an upgrade is fine? For the sake of consistency, what about adding a variant of megaparsec for use by Idris, and keeping the LTS-12 version? > I was under the impression that our 'guix refresh' updater was supposed t= o use the appropriate stackage version? But it seems to be referencing ver= sion 14.6. Looking at =E2=80=98latest-lts-release=E2=80=99 in (guix import stackage), = the updater seems to just take the latest LTS version. We should probably fix that by having the argument to =E2=80=98stackage-lts-info-fetch=E2=80=99 default to the currently targeted= LTS version. Otherwise one has to know the LTS version and pass it to =E2=80=98guix impo= rt stackage --lts-version=E2=80=99, which is error-prone. Thoughts? Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 24 10:07:16 2019 Received: (at 37434) by debbugs.gnu.org; 24 Sep 2019 14:07:16 +0000 Received: from localhost ([127.0.0.1]:39777 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iClTC-00059i-Uw for submit@debbugs.gnu.org; Tue, 24 Sep 2019 10:07:16 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:41157 helo=smtp.centurylink.net) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iClT6-000597-T1 for 37434@debbugs.gnu.org; Tue, 24 Sep 2019 10:07:10 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1569334019; h=From:Subject:Date:To:MIME-Version:Content-Type; bh=HBpbjt8nTBjnyk/w2zSxxjhFdiQ=; b=ET/LN2BxR8AX9xK0GPuME9y1r2Ae2sotQGqef+y+OUe/HX69RjfKwFxTMUQ689V3 uGFFAH02Bx6YxlYbtXMO4BSmoehsytvcZaKhEYVCoN/TpMh+DUmogWKTKzyP7H5j bnIeHgVZxhQJVmm/ciPP88O3IQMR0yez3JR8iOODSXshnD2H3BNu7Rbm3Qh2z8Il /N2LmKM76mM0EVoDrDVh7TgLNWQhL4hYFe70FtMCG0hVdd+DBhf7bUnx6PbknmMq vxJ8jATzvOsa2TrhpT77FyqNMJRK19z7XplOc334X0T6Pzf6/MRDFG7rEEEKOHYE mEvSOI/b0Qkxu0GfbEoQqA==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=LaBCFQXi c=1 sm=1 tr=0 a=FxtcyOs4PmkOA5Srhkhsow==:117 a=jpOVt7BSZ2e4Z31A5e1TngXxSK0=:19 a=KGjhK52YXX0A:10 a=FKkrIqjQGGEA:10 a=OKXshHjYWGYA:10 a=J70Eh1EUuV4A:10 a=zSv6zi-ZgakA:10 a=BnV6wE_AV8wA:10 a=eQrCS-SpgXYA:10 a=mDV3o1hIAAAA:8 a=I_5RNyk1AAAA:8 a=kO2hsywtWQ95mXFO01kA:9 a=QEXdDO2ut3YA:10 a=inoG4m36AAAA:8 a=JqsHG6aPAAAA:8 a=bCN-XRSCAAAA:8 a=CXWgx6G7LvpfcnhEK9gA:9 a=_FVE-zBwftR9WsbkzFJk:22 a=Eh9yxdLE6B1twWrs3SXz:22 a=_Qgj-RFg6mImvLaOgLPg:22 a=qfbbBrErdq5vOlahl-QS:22 a=VFraTkD3lrpmuGUt5nhW:22 a=pHzHmUro8NiASowvMSCR:22 a=xoEH_sTeL_Rfw54TyV31:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine Feedback-ID: dfw:ctl:res:onyx X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Received: from [10.41.66.3] ([10.41.66.3:34058] helo=md02.onyx.dfw.sync.lan) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTP id A5/2A-23246-3032A8D5; Tue, 24 Sep 2019 10:06:59 -0400 Date: Tue, 24 Sep 2019 10:06:59 -0400 (EDT) From: Eric Bavier To: Ludovic =?utf-8?Q?Court=C3=A8s?= Message-ID: <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> In-Reply-To: <87a7auqi3x.fsf@gnu.org> References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> <87a7auqi3x.fsf@gnu.org> Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_36105332_248042619.1569334019061" X-Originating-IP: [65.128.96.128] X-Mailer: Zimbra 8.7.6_GA_1776 (ZimbraWebClient - SAF13 (Linux)/8.7.6_GA_1776) Thread-Topic: ghc-megaparsec: Update to 7.0.5. Thread-Index: pAEDlGRlJVimCVCd1lKO/2zRBPLYZg== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37434 Cc: 37434 <37434@debbugs.gnu.org>, Timothy Sample , bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) ------=_Part_36105332_248042619.1569334019061 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable ----- On Sep 24, 2019, at 2:16 AM, Ludovic Court=C3=A8s ludo@gnu.org wrote: > Hello, >=20 > Eric Bavier skribis: >=20 >> Idris 1.3.2 unfortunately needs megaparsec>=3D7.0.4. >> >> FWIW, idris is our only package that depends on ghc-megaparsec. :) So m= aybe an >> upgrade is fine? >=20 > For the sake of consistency, what about adding a variant of megaparsec > for use by Idris, and keeping the LTS-12 version? That sounds appropriate to me. New patch attached. >=20 >> I was under the impression that our 'guix refresh' updater was supposed = to use >> the appropriate stackage version? But it seems to be referencing versio= n 14.6. >=20 > Looking at =E2=80=98latest-lts-release=E2=80=99 in (guix import stackage)= , the updater > seems to just take the latest LTS version. >=20 > We should probably fix that by having the argument to > =E2=80=98stackage-lts-info-fetch=E2=80=99 default to the currently target= ed LTS version. > Otherwise one has to know the LTS version and pass it to =E2=80=98guix im= port > stackage --lts-version=E2=80=99, which is error-prone. >=20 > Thoughts? I think that would be the right thing to do, imo. --=20 `~Eric ------=_Part_36105332_248042619.1569334019061 Content-Type: text/x-patch; name=0001-gnu-idris-Update-to-1.3.2.patch Content-Disposition: attachment; filename=0001-gnu-idris-Update-to-1.3.2.patch Content-Transfer-Encoding: base64 RnJvbSA4MzI1MjliNzFjMmM1YzdlNmFhNmU4OGEyMDZjMGRiNjVlOGEwYzJlIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBFcmljIEJhdmllciA8YmF2aWVyQG1lbWJlci5mc2Yub3JnPgpE YXRlOiBNb24sIDE2IFNlcCAyMDE5IDIyOjIwOjIzIC0wNTAwClN1YmplY3Q6IFtQQVRDSF0gZ251 OiBpZHJpczogVXBkYXRlIHRvIDEuMy4yLgoKKiBnbnUvcGFja2FnZXMvaWRyaXMuc2NtIChnaGMt bmV0d29yay0yLjgsIGdoYy1tZWdhcGFyc2VjLTcpOiBOZXcgdmFyaWFibGVzLgooaWRyaXMpOiBV cGRhdGUgdG8gMS4zLjIuCltzb3VyY2VdOiBSZW1vdmUgcGF0Y2guCltpbnB1dHNdOiBVc2UgZ2hj LW5ldHdvcmstMi44IGFuZCBnaGMtbWVnYXBhcnNlYy03LgoqIGdudS9wYWNrYWdlcy9wYXRjaGVz L2lkcmlzLXRlc3Qtbm8tbm9kZS5wYXRjaDogRGVsZXRlLgoqIGdudS9sb2NhbC5tayAoZGlzdF9w YXRjaF9EQVRBKTogUmVtb3ZlIGl0LgotLS0KIGdudS9sb2NhbC5tayAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICB8ICAxIC0KIGdudS9wYWNrYWdlcy9pZHJpcy5zY20gICAgICAgICAg ICAgICAgICAgICAgICB8IDQ0ICsrKysrKysrKysrLS0KIGdudS9wYWNrYWdlcy9wYXRjaGVzL2lk cmlzLXRlc3Qtbm8tbm9kZS5wYXRjaCB8IDYxIC0tLS0tLS0tLS0tLS0tLS0tLS0KIDMgZmlsZXMg Y2hhbmdlZCwgMzkgaW5zZXJ0aW9ucygrKSwgNjcgZGVsZXRpb25zKC0pCiBkZWxldGUgbW9kZSAx MDA2NDQgZ251L3BhY2thZ2VzL3BhdGNoZXMvaWRyaXMtdGVzdC1uby1ub2RlLnBhdGNoCgpkaWZm IC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmluZGV4IDE2YjYzYmM5NTEuLjRi ZWVlODhlMzggMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysgYi9nbnUvbG9jYWwubWsKQEAg LTk0Niw3ICs5NDYsNiBAQCBkaXN0X3BhdGNoX0RBVEEgPQkJCQkJCVwKICAgJUQlL3BhY2thZ2Vz L3BhdGNoZXMvaWNlZHRlYS02LWhvdHNwb3QtZ2NjLXNlZ2ZhdWx0LXdvcmthcm91bmQucGF0Y2gg IFwKICAgJUQlL3BhY2thZ2VzL3BhdGNoZXMvaWNlZHRlYS03LWhvdHNwb3QtZ2NjLXNlZ2ZhdWx0 LXdvcmthcm91bmQucGF0Y2ggIFwKICAgJUQlL3BhY2thZ2VzL3BhdGNoZXMvaWQzbGliLUNWRS0y MDA3LTQ0NjAucGF0Y2gJCQlcCi0gICVEJS9wYWNrYWdlcy9wYXRjaGVzL2lkcmlzLXRlc3Qtbm8t bm9kZS5wYXRjaAkJCVwKICAgJUQlL3BhY2thZ2VzL3BhdGNoZXMvaWxtYmFzZS1maXgtdGVzdHMu cGF0Y2gJCQlcCiAgICVEJS9wYWNrYWdlcy9wYXRjaGVzL2ludGx0b29sLXBlcmwtY29tcGF0aWJp bGl0eS5wYXRjaAlcCiAgICVEJS9wYWNrYWdlcy9wYXRjaGVzL2lycmxpY2h0LXVzZS1zeXN0ZW0t bGlicy5wYXRjaAkJXApkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2lkcmlzLnNjbSBiL2dudS9w YWNrYWdlcy9pZHJpcy5zY20KaW5kZXggNDI5MGQ4YzIxZi4uMzliNzMyNDgyZiAxMDA2NDQKLS0t IGEvZ251L3BhY2thZ2VzL2lkcmlzLnNjbQorKysgYi9nbnUvcGFja2FnZXMvaWRyaXMuc2NtCkBA IC0zMCwxNSArMzAsNTAgQEAKICAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgcGVybCkKICAg Izp1c2UtbW9kdWxlIChndWl4IGJ1aWxkLXN5c3RlbSBnbnUpCiAgICM6dXNlLW1vZHVsZSAoZ3Vp eCBidWlsZC1zeXN0ZW0gaGFza2VsbCkKKyAgIzp1c2UtbW9kdWxlIChndWl4IHV0aWxzKQogICAj OnVzZS1tb2R1bGUgKGd1aXggZG93bmxvYWQpCiAgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQtZG93 bmxvYWQpCiAgICM6dXNlLW1vZHVsZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vuc2U6 KQogICAjOnVzZS1tb2R1bGUgKGd1aXggcGFja2FnZXMpKQogCis7OzsgVW50aWwgd2UgdXBkYXRl IG91ciBkZWZhdWx0IEdIQyB0byA+PTguNiB3ZSBjYW5ub3QgdXBkYXRlIG91ciBnaGMtbmV0d29y aworOzs7IHBhY2thZ2UsIHNpbmNlIHRoZSAnY2FiYWwtaW5zdGFsbCcgcGFja2FnZSB0aGF0IHN1 cHBvcnRzIHRoZSBjdXJyZW50Cis7OzsgJ0NhYmFsJyBtb2R1bGUgcmVxdWlyZXMgJ25ldHdvcms9 PTIuNi4qJy4gIFByb3ZpZGluZyBhIGxvY2FsIGdoYy1uZXR3b3JrCis7Ozsgd29ya3MgaW4gdGhp cyBjYXNlIHNpbmNlIHdlIHVzZSBpdCBvbmx5IGZvciBhIHN0YW5kYWxvbmUgcHJvZ3JhbS4KKyhk ZWZpbmUgZ2hjLW5ldHdvcmstMi44CisgIChwYWNrYWdlCisgICAgKGluaGVyaXQgZ2hjLW5ldHdv cmspCisgICAgKHZlcnNpb24gIjIuOC4wLjEiKQorICAgIChzb3VyY2UKKyAgICAgKG9yaWdpbgor ICAgICAgIChtZXRob2QgdXJsLWZldGNoKQorICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQgImh0 dHBzOi8vaGFja2FnZS5oYXNrZWxsLm9yZy9wYWNrYWdlL25ldHdvcmsvIgorICAgICAgICAgICAg ICAgICAgICAgICAgICAgIm5ldHdvcmstIiB2ZXJzaW9uICIudGFyLmd6IikpCisgICAgICAgKHNo YTI1NgorICAgICAgICAoYmFzZTMyCisgICAgICAgICAiMGltOGs1MXJ3M2FobXIyM255MTBwc2h3 YnowOWpmZzBmZHBhbTBoemYyaGd4bnptdnhiMSIpKSkpKSkKKworOzs7IFNpbWlsYXJseSwgSWRy aXMgMS4zLjIgcmVxdWlyZXMgJ21lZ2FwYXJzZT49Ny4wLjQnIGJ1dCB3ZSdkIGxpa2UgdG8ga2Vl cAorOzs7IHRoZSBwdWJsaWMgcGFja2FnZSBhdCB0aGUgY3VycmVudCBTdGFja2FnZSBMVFMgdmVy c2lvbjoKKyhkZWZpbmUgZ2hjLW1lZ2FwYXJzZWMtNworICAocGFja2FnZQorICAgIChpbmhlcml0 IGdoYy1tZWdhcGFyc2VjKQorICAgICh2ZXJzaW9uICI3LjAuNSIpCisgICAgKHNvdXJjZQorICAg ICAob3JpZ2luCisgICAgICAgKG1ldGhvZCB1cmwtZmV0Y2gpCisgICAgICAgKHVyaSAoc3RyaW5n LWFwcGVuZCAiaHR0cHM6Ly9oYWNrYWdlLmhhc2tlbGwub3JnL3BhY2thZ2UvbWVnYXBhcnNlYy8i CisgICAgICAgICAgICAgICAgICAgICAgICAgICAibWVnYXBhcnNlYy0iIHZlcnNpb24gIi50YXIu Z3oiKSkKKyAgICAgICAoc2hhMjU2CisgICAgICAgIChiYXNlMzIKKyAgICAgICAgICIwYnF4MWlj Ym1rOHM3d21iY2R6c2dubGg2MDdjN2t6ZzhsODBjcDAyZHhyNXZhbGp4cDdqIikpKSkKKyAgICAo YXJndW1lbnRzIChzdHJpcC1rZXl3b3JkLWFyZ3VtZW50cyAobGlzdCAjOmNhYmFsLXJldmlzaW9u KQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChwYWNrYWdlLWFyZ3Vt ZW50cyBnaGMtbWVnYXBhcnNlYykpKSkpCisKIChkZWZpbmUtcHVibGljIGlkcmlzCiAgIChwYWNr YWdlCiAgICAgKG5hbWUgImlkcmlzIikKLSAgICAodmVyc2lvbiAiMS4zLjEiKQorICAgICh2ZXJz aW9uICIxLjMuMiIpCiAgICAgKHNvdXJjZSAob3JpZ2luCiAgICAgICAgICAgICAgIChtZXRob2Qg dXJsLWZldGNoKQogICAgICAgICAgICAgICAodXJpIChzdHJpbmctYXBwZW5kCkBAIC00Niw4ICs4 MSw3IEBACiAgICAgICAgICAgICAgICAgICAgICJpZHJpcy0iIHZlcnNpb24gIi9pZHJpcy0iIHZl cnNpb24gIi50YXIuZ3oiKSkKICAgICAgICAgICAgICAgKHNoYTI1NgogICAgICAgICAgICAgICAg KGJhc2UzMgotICAgICAgICAgICAgICAgICIwZm45aDU4bDU5Mmo3Mm5qd21hMWlhNDhoOGg4N3dp MnJqcWZ4czdqMmxmbXZnZnYxOGZpIikpCi0gICAgICAgICAgICAgIChwYXRjaGVzIChzZWFyY2gt cGF0Y2hlcyAiaWRyaXMtdGVzdC1uby1ub2RlLnBhdGNoIikpKSkKKyAgICAgICAgICAgICAgICAi MHd5Y2h6a2cweWdoZDJwcDhmcXo3OHZwMWF5emtzMTkxa25mcGw3bWhoOGlnc21iNmJjNyIpKSkp CiAgICAgKGJ1aWxkLXN5c3RlbSBoYXNrZWxsLWJ1aWxkLXN5c3RlbSkKICAgICAobmF0aXZlLWlu cHV0cyAgICAgICAgICAgICAgICAgICAgICA7Rm9yIHRlc3RzCiAgICAgIGAoKCJwZXJsIiAscGVy bCkKQEAgLTcxLDggKzEwNSw4IEBACiAgICAgICAgKCJnaGMtZnNub3RpZnkiICxnaGMtZnNub3Rp ZnkpCiAgICAgICAgKCJnaGMtaWVlZTc1NCIgLGdoYy1pZWVlNzU0KQogICAgICAgICgiZ2hjLWxp YmZmaSIgLGdoYy1saWJmZmkpCi0gICAgICAgKCJnaGMtbWVnYXBhcnNlYyIgLGdoYy1tZWdhcGFy c2VjKQotICAgICAgICgiZ2hjLW5ldHdvcmsiICxnaGMtbmV0d29yaykKKyAgICAgICAoImdoYy1t ZWdhcGFyc2VjIiAsZ2hjLW1lZ2FwYXJzZWMtNykKKyAgICAgICAoImdoYy1uZXR3b3JrIiAsZ2hj LW5ldHdvcmstMi44KQogICAgICAgICgiZ2hjLW9wdHBhcnNlLWFwcGxpY2F0aXZlIiAsZ2hjLW9w dHBhcnNlLWFwcGxpY2F0aXZlKQogICAgICAgICgiZ2hjLXJlZ2V4LXRkZmEiICxnaGMtcmVnZXgt dGRmYSkKICAgICAgICAoImdoYy1zYWZlIiAsZ2hjLXNhZmUpCmRpZmYgLS1naXQgYS9nbnUvcGFj a2FnZXMvcGF0Y2hlcy9pZHJpcy10ZXN0LW5vLW5vZGUucGF0Y2ggYi9nbnUvcGFja2FnZXMvcGF0 Y2hlcy9pZHJpcy10ZXN0LW5vLW5vZGUucGF0Y2gKZGVsZXRlZCBmaWxlIG1vZGUgMTAwNjQ0Cmlu ZGV4IGMwNGFkNDFhOGUuLjAwMDAwMDAwMDAKLS0tIGEvZ251L3BhY2thZ2VzL3BhdGNoZXMvaWRy aXMtdGVzdC1uby1ub2RlLnBhdGNoCisrKyAvZGV2L251bGwKQEAgLTEsNjEgKzAsMCBAQAotRnJv bSA2YzUyZTFiOTAyYjg2OWMyNWUyZmUzOWNmZjYzNjQxNDNhMDRkYTYxIE1vbiBTZXAgMTcgMDA6 MDA6MDAgMjAwMQotRnJvbTogTmlrbGFzIExhcnNzb24gPG5pa2xhc0BtbS5zdD4KLURhdGU6IFR1 ZSwgMTEgRGVjIDIwMTggMTk6NTY6MjIgKzAxMDAKLVN1YmplY3Q6IFtQQVRDSF0gT25seSBjaGVj ayBmb3IgTm9kZSB3aGVuIHJlcXVpcmVkCi0KLS0tLQotIHRlc3QvVGVzdFJ1bi5ocyB8IDM0ICsr KysrKysrKysrKysrKysrKysrLS0tLS0tLS0tLS0tLS0KLSAxIGZpbGUgY2hhbmdlZCwgMjAgaW5z ZXJ0aW9ucygrKSwgMTQgZGVsZXRpb25zKC0pCi0KLWRpZmYgLS1naXQgYS90ZXN0L1Rlc3RSdW4u aHMgYi90ZXN0L1Rlc3RSdW4uaHMKLWluZGV4IGM3ZGI5ZmRjZC4uNDgwOTkxMWYzIDEwMDY0NAot LS0tIGEvdGVzdC9UZXN0UnVuLmhzCi0rKysgYi90ZXN0L1Rlc3RSdW4uaHMKLUBAIC0xMSw2ICsx MSw3IEBAIGltcG9ydCBEYXRhLlByb3h5Ci0gaW1wb3J0IERhdGEuVHlwZWFibGUKLSBpbXBvcnQg T3B0aW9ucy5BcHBsaWNhdGl2ZQotIGltcG9ydCBTeXN0ZW0uRGlyZWN0b3J5Ci0raW1wb3J0IFN5 c3RlbS5FbnZpcm9ubWVudAotIGltcG9ydCBTeXN0ZW0uRXhpdAotIGltcG9ydCBTeXN0ZW0uRmls ZVBhdGggKCg8Lz4pKQotIGltcG9ydCBTeXN0ZW0uSW5mbwotQEAgLTEwMywyMCArMTA0LDI1IEBA IHJ1blRlc3QgcGF0aCBmbGFncyA9IGRvCi0gICAgICAgbm9ybWFsaXNlICh4IDogeHMpID0geCA6 IG5vcm1hbGlzZSB4cwotICAgICAgIG5vcm1hbGlzZSBbXSA9IFtdCi0gCi0rY2hlY2tOb2RlIDo6 IElPICAoKQotK2NoZWNrTm9kZSA9IGRvCi0rICAgIG5vZGVQYXRoICAgPC0gZmluZEV4ZWN1dGFi bGUgIm5vZGUiCi0rICAgIG5vZGVqc1BhdGggPC0gZmluZEV4ZWN1dGFibGUgIm5vZGVqcyIKLSsg ICAgbGV0IG5vZGUgPSBub2RlUGF0aCA8fD4gbm9kZWpzUGF0aAotKyAgICBjYXNlIG5vZGUgb2YK LSsgICAgICBOb3RoaW5nIC0+IGRvCi0rICAgICAgICBwdXRTdHJMbiAiRm9yIHJ1bm5pbmcgdGhl IHRlc3Qgc3VpdGUgYWdhaW5zdCBOb2RlLCBub2RlIG11c3QgYmUgaW5zdGFsbGVkLiIKLSsgICAg ICAgIGV4aXRGYWlsdXJlCi0rICAgICAgSnVzdCBfICAtPiByZXR1cm4gKCkKLSsKLSBtYWluIDo6 IElPICgpCi0gbWFpbiA9IGRvCi0tICBub2RlUGF0aCAgIDwtIGZpbmRFeGVjdXRhYmxlICJub2Rl IgotLSAgbm9kZWpzUGF0aCA8LSBmaW5kRXhlY3V0YWJsZSAibm9kZWpzIgotLSAgbGV0IG5vZGUg PSBub2RlUGF0aCA8fD4gbm9kZWpzUGF0aAotLSAgY2FzZSBub2RlIG9mCi0tICAgIE5vdGhpbmcg LT4gZG8KLS0gICAgICBwdXRTdHJMbiAiRm9yIHJ1bm5pbmcgdGhlIHRlc3Qgc3VpdGUgYWdhaW5z dCBOb2RlLCBub2RlIG11c3QgYmUgaW5zdGFsbGVkLiIKLS0gICAgICBleGl0RmFpbHVyZQotLSAg ICBKdXN0IF8gIC0+IGRvCi0tICAgICAgZGVmYXVsdE1haW5XaXRoSW5ncmVkaWVudHMgaW5ncmVk aWVudHMgJAotKyAgICBhcmdzIDwtIGdldEFyZ3MKLSsgICAgd2hlbiAoIi0tbm9kZSIgYGVsZW1g IGFyZ3MpIGNoZWNrTm9kZQotKyAgICBkZWZhdWx0TWFpbldpdGhJbmdyZWRpZW50cyBpbmdyZWRp ZW50cyAkCi0gICAgICAgICBhc2tPcHRpb24gJCBcKE5vZGVPcHQgbm9kZSkgLT4KLS0gICAgICAg ICAgbGV0IChjb2RlZ2VuLCBmbGFncykgPSBpZiBub2RlIHRoZW4gKEpTLCBbIi0tY29kZWdlbiIs ICJub2RlIl0pCi0tICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNl IChDICwgW10pCi0tICAgICAgICAgICBpbgotLSAgICAgICAgICAgIG1rR29sZGVuVGVzdHMgKHRl c3RGYW1pbGllc0ZvckNvZGVnZW4gY29kZWdlbikKLS0gICAgICAgICAgICAgICAgICAgICAgICAo ZmxhZ3MgKysgaWRyaXNGbGFncykKLSsgICAgICAgICAgICBsZXQgKGNvZGVnZW4sIGZsYWdzKSA9 IGlmIG5vZGUgdGhlbiAoSlMsIFsiLS1jb2RlZ2VuIiwgIm5vZGUiXSkKLSsgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZSAoQyAsIFtdKQotKyAgICAgICAgICAg IGluCi0rICAgICAgICAgICAgICAgIG1rR29sZGVuVGVzdHMgKHRlc3RGYW1pbGllc0ZvckNvZGVn ZW4gY29kZWdlbikgKGZsYWdzICsrIGlkcmlzRmxhZ3MpCi0rCi0tIAoyLjIzLjAKCg== ------=_Part_36105332_248042619.1569334019061-- From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 24 13:08:15 2019 Received: (at 37434) by debbugs.gnu.org; 24 Sep 2019 17:08:15 +0000 Received: from localhost ([127.0.0.1]:40045 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCoIR-0001Jz-4M for submit@debbugs.gnu.org; Tue, 24 Sep 2019 13:08:15 -0400 Received: from eggs.gnu.org ([209.51.188.92]:58008) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCoIP-0001Jn-K2 for 37434@debbugs.gnu.org; Tue, 24 Sep 2019 13:08:14 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45046) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iCoIK-0002Go-Et; Tue, 24 Sep 2019 13:08:08 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=52482 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iCoII-000892-Hj; Tue, 24 Sep 2019 13:08:07 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Eric Bavier Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> <87a7auqi3x.fsf@gnu.org> <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 3 =?utf-8?Q?Vend=C3=A9miaire?= an 228 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 24 Sep 2019 19:08:03 +0200 In-Reply-To: <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> (Eric Bavier's message of "Tue, 24 Sep 2019 10:06:59 -0400 (EDT)") Message-ID: <87d0fpoc5o.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37434 Cc: 37434 <37434@debbugs.gnu.org>, Timothy Sample , bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Eric, Eric Bavier skribis: > From 832529b71c2c5c7e6aa6e88a206c0db65e8a0c2e Mon Sep 17 00:00:00 2001 > From: Eric Bavier > Date: Mon, 16 Sep 2019 22:20:23 -0500 > Subject: [PATCH] gnu: idris: Update to 1.3.2. > > * gnu/packages/idris.scm (ghc-network-2.8, ghc-megaparsec-7): New variabl= es. > (idris): Update to 1.3.2. > [source]: Remove patch. > [inputs]: Use ghc-network-2.8 and ghc-megaparsec-7. > * gnu/packages/patches/idris-test-no-node.patch: Delete. > * gnu/local.mk (dist_patch_DATA): Remove it. [...] > +++ b/gnu/packages/idris.scm > @@ -30,15 +30,50 @@ > #:use-module (gnu packages perl) > #:use-module (guix build-system gnu) > #:use-module (guix build-system haskell) > + #:use-module (guix utils) > #:use-module (guix download) > #:use-module (guix git-download) > #:use-module ((guix licenses) #:prefix license:) > #:use-module (guix packages)) >=20=20 > +;;; Until we update our default GHC to >=3D8.6 we cannot update our ghc-= network > +;;; package, since the 'cabal-install' package that supports the current > +;;; 'Cabal' module requires 'network=3D=3D2.6.*'. Providing a local ghc= -network > +;;; works in this case since we use it only for a standalone program. > +(define ghc-network-2.8 > + (package > + (inherit ghc-network) You should only inherit from packages defined in the same module, otherwise we risk hitting the dreaded circular dependency mess (actually this particular case is fine because idris.scm is a =E2=80=9Cleaf=E2=80=9D,= but still, let=E2=80=99s not take this risk.) So I recommend moving these two ghc-* packages next to their friends. With this change the patch LGTM. Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 24 22:20:36 2019 Received: (at 37434-done) by debbugs.gnu.org; 25 Sep 2019 02:20:36 +0000 Received: from localhost ([127.0.0.1]:40692 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCwuy-00046c-3b for submit@debbugs.gnu.org; Tue, 24 Sep 2019 22:20:36 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:51955 helo=smtp.centurylink.net) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iCwuw-00046I-0O for 37434-done@debbugs.gnu.org; Tue, 24 Sep 2019 22:20:34 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1569378028; h=From:Subject:Date:To:MIME-Version:Content-Type; bh=/eCfv/lUE8cmcf0vRe63iJ21OXU=; b=1xfl0+pht8AF4sblRh7ZBNwLepxRhf/pi9tighNRiKiRmfKk3xOQc1glydjdYhit IUg1IH7jP5WZ3TIQ1A+3Hj65JPm3iQcY/2+Es89dYYp0lyr2AtISgJn5OrK1lHP2 p3pL2EqicYB0p45EWLTX1f9rlUF54qT3LXu49ih4A+BijDnE9PXesAyoI24CFM+j jX2YOHcY9GUOwOsqTbpKRekl2Jp2tq5hba0IB5EloXwxPAUbeSCxnhnbGAz+LjBx hNUs/TcY5kI1zQKCCneyK488I/Qo84THFJAI8DuSqppV/14d4MxstGH2InVKmugJ 3YNIzbuE3aM40oq8EHPnsQ==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=b67MHeOx c=1 sm=1 tr=0 a=RJvREvjeJyUEoUsE7e+N5w==:117 a=jpOVt7BSZ2e4Z31A5e1TngXxSK0=:19 a=KGjhK52YXX0A:10 a=FKkrIqjQGGEA:10 a=OKXshHjYWGYA:10 a=IkcTkHD0fZMA:10 a=J70Eh1EUuV4A:10 a=zSv6zi-ZgakA:10 a=BnV6wE_AV8wA:10 a=eQrCS-SpgXYA:10 a=mDV3o1hIAAAA:8 a=I_5RNyk1AAAA:8 a=inoG4m36AAAA:8 a=vXQWILazQIGB-DJFCncA:9 a=QEXdDO2ut3YA:10 a=_FVE-zBwftR9WsbkzFJk:22 a=Eh9yxdLE6B1twWrs3SXz:22 a=_Qgj-RFg6mImvLaOgLPg:22 a=Z5ABNNGmrOfJ6cZ5bIyy:22 a=bWyr8ysk75zN3GCy5bjg:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine Feedback-ID: dfw:ctl:res:onyx X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Received: from [10.41.66.12] ([10.41.66.12:56806] helo=md02.onyx.dfw.sync.lan) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTP id 56/3A-13635-CEECA8D5; Tue, 24 Sep 2019 22:20:28 -0400 Date: Tue, 24 Sep 2019 22:20:28 -0400 (EDT) From: Eric Bavier To: Ludovic =?utf-8?Q?Court=C3=A8s?= Message-ID: <1530026973.36474811.1569378028367.JavaMail.zimbra@centurylink.net> In-Reply-To: <87d0fpoc5o.fsf@gnu.org> References: <20190917033730.28806-1-ericbavier@centurylink.net> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> <87a7auqi3x.fsf@gnu.org> <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> <87d0fpoc5o.fsf@gnu.org> Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [65.128.96.128] X-Mailer: Zimbra 8.7.6_GA_1776 (ZimbraWebClient - SAF13 (Linux)/8.7.6_GA_1776) Thread-Topic: ghc-megaparsec: Update to 7.0.5. Thread-Index: Zi7y6SbNdjGgeBz7u31Zu25Jswsk6Q== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37434-done Cc: 37434-done@debbugs.gnu.org, Timothy Sample , 37435-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) ----- On Sep 24, 2019, at 12:08 PM, Ludovic Court=C3=A8s ludo@gnu.org wrote= : > Hi Eric, >=20 > Eric Bavier skribis: >=20 >> From 832529b71c2c5c7e6aa6e88a206c0db65e8a0c2e Mon Sep 17 00:00:00 2001 >> From: Eric Bavier >> Date: Mon, 16 Sep 2019 22:20:23 -0500 >> Subject: [PATCH] gnu: idris: Update to 1.3.2. >> >> * gnu/packages/idris.scm (ghc-network-2.8, ghc-megaparsec-7): New variab= les. >> (idris): Update to 1.3.2. >> [source]: Remove patch. >> [inputs]: Use ghc-network-2.8 and ghc-megaparsec-7. >> * gnu/packages/patches/idris-test-no-node.patch: Delete. >> * gnu/local.mk (dist_patch_DATA): Remove it. >=20 > [...] >> +;;; Until we update our default GHC to >=3D8.6 we cannot update our ghc= -network >> +;;; package, since the 'cabal-install' package that supports the curren= t >> +;;; 'Cabal' module requires 'network=3D=3D2.6.*'. Providing a local gh= c-network >> +;;; works in this case since we use it only for a standalone program. >> +(define ghc-network-2.8 >> + (package >> + (inherit ghc-network) >=20 > You should only inherit from packages defined in the same module, > otherwise we risk hitting the dreaded circular dependency mess (actually > this particular case is fine because idris.scm is a =E2=80=9Cleaf=E2=80= =9D, but still, > let=E2=80=99s not take this risk.) >=20 > So I recommend moving these two ghc-* packages next to their friends. Makes sense. Done. > With this change the patch LGTM. Pushed with that change and other small adjustments for latest master in co= mmit 4780db2c93. --=20 `~Eric From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 25 13:49:46 2019 Received: (at 37434) by debbugs.gnu.org; 25 Sep 2019 17:49:47 +0000 Received: from localhost ([127.0.0.1]:42386 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iDBQA-0006QA-KV for submit@debbugs.gnu.org; Wed, 25 Sep 2019 13:49:46 -0400 Received: from wout3-smtp.messagingengine.com ([64.147.123.19]:44547) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iDBQ8-0006Pr-Li for 37434@debbugs.gnu.org; Wed, 25 Sep 2019 13:49:45 -0400 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.west.internal (Postfix) with ESMTP id A7CFB418; Wed, 25 Sep 2019 13:49:38 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute4.internal (MEProxy); Wed, 25 Sep 2019 13:49:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=UACnEIshdo591ErMJaTeyqFcwyQwXQWJGsBFqFLbW ms=; b=tCEth0X+9d5uG4cOAMi/rQcBZUjYu+3pJU60K/0/zFtciU1DzKMPtrm0R QMCiZWqFsQKseXINxo8WM11+thF/PFbB3zeu194EY4ilxq8n47eau/Fo6CBxbT0i nfL8Cw6AWz1CDOmT0H/5GwLoAMx5O/Pu131uCsCZjIbptxfbGlEVg1CidAOVyfEs Yl2zjF5+OHc98XILgw2vQEcEy5jUN4yjDv7gXcKqQD+kuezFwYF1NGjzR0sQWD94 lTU2d9zOZC35/MYTOm6utYy/6xeU16ZQXu6M0d2iMXCg8KNbBi8oiLCDWdx4c5pY mowN4jKInysa/xiHyHGF/wyL/Y48g== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrfedvgdduudekucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffvufhfffgjkfgfgggtgfesthhqredttderjeenucfhrhhomhepvfhimhho thhhhicuufgrmhhplhgvuceoshgrmhhplhgvthesnhhghihrohdrtghomheqnecuffhomh grihhnpehgnhhurdhorhhgnecukfhppeejgedrudduiedrudekiedrgeegnecurfgrrhgr mhepmhgrihhlfhhrohhmpehsrghmphhlvghtsehnghihrhhordgtohhmnecuvehluhhsth gvrhfuihiivgeptd X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id 30992D60057; Wed, 25 Sep 2019 13:49:37 -0400 (EDT) From: Timothy Sample To: Eric Bavier Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. References: <20190917033730.28806-1-ericbavier@centurylink.net> <87ftkqpv2l.fsf@gnu.org> <87impmtxr9.fsf@ngyro.com> <878sqitxky.fsf@ngyro.com> <87muevl8qm.fsf@gnu.org> <1991034139.35893173.1569290364575.JavaMail.zimbra@centurylink.net> <87a7auqi3x.fsf@gnu.org> <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> Date: Wed, 25 Sep 2019 13:49:36 -0400 In-Reply-To: <1509023901.36105334.1569334019062.JavaMail.zimbra@centurylink.net> (Eric Bavier's message of "Tue, 24 Sep 2019 10:06:59 -0400 (EDT)") Message-ID: <87pnjo1d1r.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 37434 Cc: 37434 <37434@debbugs.gnu.org>, Ludovic =?utf-8?Q?Court=C3=A8s?= , bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hi Eric and Ludo, Eric Bavier writes: > ----- On Sep 24, 2019, at 2:16 AM, Ludovic Court=C3=A8s ludo@gnu.org wrot= e: > >> For the sake of consistency, what about adding a variant of megaparsec >> for use by Idris, and keeping the LTS-12 version? > > That sounds appropriate to me. New patch attached. Very good idea! Thanks. >>> I was under the impression that our 'guix refresh' updater was >>> supposed to use >>> the appropriate stackage version? But it seems to be referencing >>> version 14.6. >>=20 >> Looking at =E2=80=98latest-lts-release=E2=80=99 in (guix import stackage= ), the updater >> seems to just take the latest LTS version. >>=20 >> We should probably fix that by having the argument to >> =E2=80=98stackage-lts-info-fetch=E2=80=99 default to the currently targe= ted LTS version. >> Otherwise one has to know the LTS version and pass it to =E2=80=98guix i= mport >> stackage --lts-version=E2=80=99, which is error-prone. >>=20 >> Thoughts? > > I think that would be the right thing to do, imo. I believe we have a patch series from Robert that does this. There were a few things to fix up, but it is the right thing to do. https://bugs.gnu.org/36653 Unfortunately, I don=E2=80=99t do a lot of Haskell stuff for myself these d= ays, so my motivation here is pretty limited. (There are only so many hours in the week to tinker with Guix....) Applying this patch and getting the ball rolling on Stackage LTS 14 are on my to-do list, but I don=E2=80= =99t know when I=E2=80=99ll get around to them. :( -- Tim From unknown Sat Aug 16 20:56:19 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 24 Oct 2019 11:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator