From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:37175) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iClU4-00039O-KD for guix-patches@gnu.org; Tue, 24 Sep 2019 10:08:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iClU2-0004vU-Nu for guix-patches@gnu.org; Tue, 24 Sep 2019 10:08:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59189) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iClU2-0004vL-K3 for guix-patches@gnu.org; Tue, 24 Sep 2019 10:08:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iClU2-0005Al-CY for guix-patches@gnu.org; Tue, 24 Sep 2019 10:08:02 -0400 Subject: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. Resent-Message-ID: Date: Tue, 24 Sep 2019 10:06:59 -0400 (EDT) From: Eric Bavier 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> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_36105332_248042619.1569334019061" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37434 <37434@debbugs.gnu.org>, bavier ------=_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--