From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id +G3CBGxSWmPGFwAAbAwnHQ (envelope-from ) for ; Thu, 27 Oct 2022 11:42:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id eH6gBGxSWmMVdgEA9RJhRA (envelope-from ) for ; Thu, 27 Oct 2022 11:42:04 +0200 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 CBB4A299FA for ; Thu, 27 Oct 2022 11:42:03 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1onzLl-0005tW-R3; Thu, 27 Oct 2022 05:38:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1onvga-0006tb-26 for guix-devel@gnu.org; Thu, 27 Oct 2022 01:44:12 -0400 Received: from mailout1.rbg.tum.de ([131.159.0.201]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1onvgX-00036Y-Ep for guix-devel@gnu.org; Thu, 27 Oct 2022 01:44:11 -0400 Received: from mailrelay1.rbg.tum.de (mailrelay1.in.tum.de [131.159.254.14]) by mailout1.rbg.tum.de (Postfix) with ESMTPS id DF717B43; Thu, 27 Oct 2022 07:43:56 +0200 (CEST) Received: by mailrelay1.rbg.tum.de (Postfix, from userid 112) id DADD71C24; Thu, 27 Oct 2022 07:43:56 +0200 (CEST) Received: from mailrelay1.rbg.tum.de (localhost [127.0.0.1]) by mailrelay1.rbg.tum.de (Postfix) with ESMTP id EEEB21C23; Thu, 27 Oct 2022 07:43:53 +0200 (CEST) Received: from mail.net.in.tum.de (mail.net.in.tum.de [131.159.15.233]) by mailrelay1.rbg.tum.de (Postfix) with ESMTP id E76CD1C22; Thu, 27 Oct 2022 07:43:53 +0200 (CEST) Received: from amnesix.net.in.tum.de (amnesix.net.in.tum.de [IPv6:2001:4ca0:2001:11:e2d5:5eff:fea9:55ca]) by mail.net.in.tum.de (Postfix) with ESMTP id BF74E28DE852; Thu, 27 Oct 2022 07:43:53 +0200 (CEST) From: itd@net.in.tum.de To: jgart Cc: Guix Devel Subject: Re: GHC >= 9.0? In-Reply-To: <20221026203121.GB17753@dismail.de> References: <20221026203121.GB17753@dismail.de> Date: Thu, 27 Oct 2022 07:43:52 +0200 Message-ID: <87o7tx6ctj.fsf@localhost> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Received-SPF: pass client-ip=131.159.0.201; envelope-from=itd@net.in.tum.de; helo=mailout1.rbg.tum.de X-Spam_score_int: -13 X-Spam_score: -1.4 X-Spam_bar: - X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, SUBJ_ALL_CAPS=0.5 autolearn=no autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Thu, 27 Oct 2022 05:38:36 -0400 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: "Guix-devel" Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1666863723; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=lSxYQSaHkv+LCkYRHdBZq/+S/gf5XRlJFx+KajEBshc=; b=HT2TQI0FCNa0vPOAAYcoUBzJhGZcOwzmjtuhEjrL1kLd7eVum9ho+RUfJRzPKFZAIH8Sq2 83VdCiCjF97nHTwLW/eC6G2disG50dLrePb3EqHRgBWDkbHakJySA+kVQnBMUougNyAHGg LBkP/9i8Xjabyaa8kMIp6t/6rnwSkTjtPyTYYHbI2CTGhSqZSQpq5p9ZcC3OWKtmqnO+jP hlZUOCrCimLuKeTFwqqN9BItFd993kkzcCZTggyX4Rw5Z3w+k8lWWA9P5uC94umsG6zA/i ApDAmxq8ejDA411fvOLYfs82fW3IidzLIyaKY60u1oDkEHeTn6qqv5MXKe8LTw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1666863723; a=rsa-sha256; cv=none; b=WeXTi1sgH6MobC2w1LUJ1diXuNxeMa03pwtUMb55PLo4LZYThKqYCILaXRXlhYchdufRIt bnTD9JeE6I74HGkCvB0QA3dby550sxfTO9+qnZjqENwYd6i2VMrguiueXYtQhTqb4ZXqDg 0iL/Qekf5whbtD2PQbcng1pjIv+3qydovC6izm40HeKFMfZ289Ry96+BR9yO33MkORMYL0 gWMQ7B1KbgH6WFJVDm1+w+uG3LVXruyeF7AkWdNTiRjGPJycgUSh+tAMwjBBUbjPxPvUJQ KFWk4AJxCcbpNBBd0IxNjARkFRtiSPKuKdhw7nAq19y2jR7bTmk61SC93RHL4A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=tum.de (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 3.92 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=tum.de (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: CBB4A299FA X-Spam-Score: 3.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: B2L+grn5jTU+ --=-=-= Content-Type: text/plain Hi, jgart writes: > Hi, what's the status on packaging GHC >= 9.0? `ghc-next` has version 9.0.2; https://issues.guix.gnu.org/58000 Attached GHC versions build (/ function) as well, but are not polished. (I am not actively working on those. I am more interested in https://issues.guix.gnu.org/54729 at the moment.) Best regards itd --=-=-= Content-Type: application/vnd.lotus-screencam Content-Disposition: attachment; filename=haskell-ghc.scm Content-Transfer-Encoding: base64 KGRlZmluZS1tb2R1bGUgKGhhc2tlbGwtZ2hjKQogICM6dXNlLW1vZHVsZSAoKGdudSBwYWNrYWdl cyBoYXNrZWxsKSkKICAjOnVzZS1tb2R1bGUgKChnbnUgcGFja2FnZXMgaGFza2VsbC14eXopKQog ICM6dXNlLW1vZHVsZSAoKGdudSBwYWNrYWdlcyB2ZXJzaW9uLWNvbnRyb2wpKQogICM6dXNlLW1v ZHVsZSAoKGdudSBwYWNrYWdlcykpCiAgIzp1c2UtbW9kdWxlICgoZ3VpeCB1dGlscykpCiAgIzp1 c2UtbW9kdWxlICgoZ3VpeCBnZXhwKSkKICAjOnVzZS1tb2R1bGUgKChndWl4IGRvd25sb2FkKSkK ICAjOnVzZS1tb2R1bGUgKChndWl4IGxpY2Vuc2VzKQogICAgICAgICAgICAgICAgIzpwcmVmaXgg bGljZW5zZTopCiAgIzp1c2UtbW9kdWxlICgoZ3VpeCBwYWNrYWdlcykpCiAgIzp1c2UtbW9kdWxl ICgoaWNlLTkgbWF0Y2gpKSkKCihkZWZpbmUtcHVibGljIGdoYy05LjIKICAocGFja2FnZQogICAg KGluaGVyaXQgZ2hjLTkuMCkKICAgIChuYW1lICJnaGMiKQogICAgKHZlcnNpb24gIjkuMi40IikK ICAgIChzb3VyY2UKICAgICAob3JpZ2luCiAgICAgICAobWV0aG9kIHVybC1mZXRjaCkKICAgICAg ICh1cmkgKHN0cmluZy1hcHBlbmQgImh0dHBzOi8vd3d3Lmhhc2tlbGwub3JnL2doYy9kaXN0LyIK ICAgICAgICAgICAgICAgICAgICAgICAgICAgdmVyc2lvbiAiL2doYy0iIHZlcnNpb24gIi1zcmMu dGFyLnh6IikpCiAgICAgICAoc2hhMjU2CiAgICAgICAgKGJhc2UzMiAiMG4zNGs3Z2E2eXBnOGo1 eGF3cXBocGg4cXJ2c3AwcW15MXJ4ZmJrdzgzamEwczQzaDg4bSIpKSkpCiAgICAoYXJndW1lbnRz CiAgICAgKHN1YnN0aXR1dGUta2V5d29yZC1hcmd1bWVudHMgKHBhY2thZ2UtYXJndW1lbnRzIGdo Yy05LjApCiAgICAgICAoKCM6cGhhc2VzIHBoYXNlcykKICAgICAgICAjfihtb2RpZnktcGhhc2Vz CiAgICAgICAgICAgIyRwaGFzZXMKICAgICAgICAgICAocmVwbGFjZSAnZml4LWNjLXJlZmVyZW5j ZQogICAgICAgICAgICAgKGxhbWJkYSBfCiAgICAgICAgICAgICAgIChzdWJzdGl0dXRlKiAidXRp bHMvaHNjMmhzL3NyYy9Db21tb24uaHMiIDs7IHBhdGggY2hhbmdlZAogICAgICAgICAgICAgICAg ICgoIlwiY2NcIiIpICJcImdjY1wiIikpCiAgICAgICAgICAgICAgICN0KSkpKSkpCiAgICAobmF0 aXZlLWlucHV0cwogICAgIGAoKCJnaGMtYm9vdHN0cmFwIiAsZ2hjLTkuMCkKICAgICAgICgiZ2hj LXRlc3RzdWl0ZSIKICAgICAgICAsKG9yaWdpbgogICAgICAgICAgIChtZXRob2QgdXJsLWZldGNo KQogICAgICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQKICAgICAgICAgICAgICAgICAiaHR0cHM6 Ly93d3cuaGFza2VsbC5vcmcvZ2hjL2Rpc3QvIgogICAgICAgICAgICAgICAgIHZlcnNpb24gIi9n aGMtIiB2ZXJzaW9uICItdGVzdHN1aXRlLnRhci54eiIpKQogICAgICAgICAgIChzaGEyNTYKICAg ICAgICAgICAgKGJhc2UzMgogICAgICAgICAgICAgIjBiZGhnc2xsNXl4YWpqOXBpazZxZHhmeHE0 cml5cTgycm5menFsaGcxaXF2N25uOTcxbm0iKSkpKQogICAgICAgKCJnaXQiICxnaXQtbWluaW1h bC9maXhlZCkgICAgICAgICAgICAgICAgIDsgaW52b2tlZCBkdXJpbmcgdGVzdHMKICAgICAgICxA KGZpbHRlciAobWF0Y2gtbGFtYmRhCiAgICAgICAgICAgICAgICAgICAoKCJnaGMtYm9vdHN0cmFw IiAuIF8pICNmKQogICAgICAgICAgICAgICAgICAgKCgiZ2hjLXRlc3RzdWl0ZSIgLiBfKSAjZikK ICAgICAgICAgICAgICAgICAgIChfICN0KSkKICAgICAgICAgICAgICAgICAocGFja2FnZS1uYXRp dmUtaW5wdXRzIGdoYy05LjApKSkpCiAgICAobmF0aXZlLXNlYXJjaC1wYXRocyAobGlzdCAoc2Vh cmNoLXBhdGgtc3BlY2lmaWNhdGlvbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICh2 YXJpYWJsZSAiR0hDX1BBQ0tBR0VfUEFUSCIpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgKGZpbGVzIChsaXN0CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAo c3RyaW5nLWFwcGVuZCAibGliL2doYy0iIHZlcnNpb24pKSkKICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAoZmlsZS1wYXR0ZXJuICIuKlxcLmNvbmZcXC5kJCIpCiAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgKGZpbGUtdHlwZSAnZGlyZWN0b3J5KSkpKSkpCgooZGVmaW5lLXB1 YmxpYyBnaGMtOS40CiAgKHBhY2thZ2UKICAgIChpbmhlcml0IGdoYy05LjApCiAgICAobmFtZSAi Z2hjLW5leHQiKQogICAgKHZlcnNpb24gIjkuNC4yIikKICAgIChzb3VyY2UKICAgICAob3JpZ2lu CiAgICAgICAobWV0aG9kIHVybC1mZXRjaCkKICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQgImh0 dHBzOi8vd3d3Lmhhc2tlbGwub3JnL2doYy9kaXN0LyIKICAgICAgICAgICAgICAgICAgICAgICAg ICAgdmVyc2lvbiAiL2doYy0iIHZlcnNpb24gIi1zcmMudGFyLnh6IikpCiAgICAgICAoc2hhMjU2 CiAgICAgICAgKGJhc2UzMiAiMTlkazlsbmlndmRmYXZhaHhrMnB2MnJha3FrNzUzMXN3aHFzaXc1 eGc4MG1icXh5eTl2aiIpKSkpCiAgICAoYXJndW1lbnRzCiAgICAgKHN1YnN0aXR1dGUta2V5d29y ZC1hcmd1bWVudHMgKHBhY2thZ2UtYXJndW1lbnRzIGdoYy05LjApCiAgICAgICAoKCM6cGhhc2Vz IHBoYXNlcykKICAgICAgICAjfihtb2RpZnktcGhhc2VzCiAgICAgICAgICAgIyRwaGFzZXMKICAg ICAgICAgICAoZGVsZXRlICdza2lwLXRlc3RzKQogICAgICAgICAgIChyZXBsYWNlICdmaXgtY2Mt cmVmZXJlbmNlCiAgICAgICAgICAgICAobGFtYmRhIF8KICAgICAgICAgICAgICAgKHN1YnN0aXR1 dGUqICJ1dGlscy9oc2MyaHMvc3JjL0NvbW1vbi5ocyIgOzsgcGF0aCBjaGFuZ2VkCiAgICAgICAg ICAgICAgICAgKCgiXCJjY1wiIikgIlwiZ2NjXCIiKSkKICAgICAgICAgICAgICAgI3QpKQogICAg ICAgICAgIChhZGQtYWZ0ZXIgJ2ZpeC1jYy1yZWZlcmVuY2UgJ3NraXAtVDEyOTAzCiAgICAgICAg ICAgICAobGFtYmRhIF8KICAgICAgICAgICAgICAgOzsgcG9zc2libHkgYnJva2VuOiAiVDEyOTAz IHVuZXhwZWN0ZWRseSB0aW1lZCBvdXQiCiAgICAgICAgICAgICAgIDs7IGh0dHBzOi8vZ2l0bGFi Lmhhc2tlbGwub3JnL2doYy9naGMvLS9pc3N1ZXMvMjExODQKICAgICAgICAgICAgICAgKHN1YnN0 aXR1dGUqICJ0ZXN0c3VpdGUvdGVzdHMvcnRzL2FsbC5UIgogICAgICAgICAgICAgICAgICgoIl50 ZXN0WyhdJ1QxMjkwMycsLioiKQogICAgICAgICAgICAgICAgICAidGVzdCgnVDEyOTAzJyxbdW5s ZXNzKG9wc3lzKCdkYXJ3aW4nKSxza2lwKSAjIGd1aXg6IHNraXBwZWQiKSkKICAgICAgICAgICAg ICAgI3QpKSkpKSkKICAgIChuYXRpdmUtaW5wdXRzCiAgICAgYCgoImdoYy1ib290c3RyYXAiICxn aGMtOS4wKQogICAgICAgKCJnaGMtdGVzdHN1aXRlIgogICAgICAgICwob3JpZ2luCiAgICAgICAg ICAgKG1ldGhvZCB1cmwtZmV0Y2gpCiAgICAgICAgICAgKHVyaSAoc3RyaW5nLWFwcGVuZAogICAg ICAgICAgICAgICAgICJodHRwczovL3d3dy5oYXNrZWxsLm9yZy9naGMvZGlzdC8iCiAgICAgICAg ICAgICAgICAgdmVyc2lvbiAiL2doYy0iIHZlcnNpb24gIi10ZXN0c3VpdGUudGFyLnh6IikpCiAg ICAgICAgICAgKHNoYTI1NgogICAgICAgICAgICAoYmFzZTMyCiAgICAgICAgICAgICAiMDdrN2tm OHB4ZzF2NWlzc2p6aWx4bDAzN3FhOHc3MGsweHNocmRtOTdpa3dja2Z4eHNnMyIpKSkpCiAgICAg ICAoImdpdCIgLGdpdC1taW5pbWFsL2ZpeGVkKSAgICAgICAgICAgICAgICAgOyBpbnZva2VkIGR1 cmluZyB0ZXN0cwogICAgICAgKCJnaGMtYWxleCIgLGdoYy1hbGV4KSAgICAgICAgICAgICAgICAg ICAgIDsgaW52b2tlZCBkdXJpbmcgYm9vdHN0cmFwCiAgICAgICAoImdoYy1oYXBweSIgLGdoYy1o YXBweSkgICAgICAgICAgICAgICAgICAgICA7IGludm9rZWQgZHVyaW5nIGJvb3RzdHJhcAogICAg ICAgLEAoZmlsdGVyIChtYXRjaC1sYW1iZGEKICAgICAgICAgICAgICAgICAgICgoImdoYy1ib290 c3RyYXAiIC4gXykgI2YpCiAgICAgICAgICAgICAgICAgICAoKCJnaGMtdGVzdHN1aXRlIiAuIF8p ICNmKQogICAgICAgICAgICAgICAgICAgKF8gI3QpKQogICAgICAgICAgICAgICAgIChwYWNrYWdl LW5hdGl2ZS1pbnB1dHMgZ2hjLTkuMCkpKSkKICAgIChuYXRpdmUtc2VhcmNoLXBhdGhzIChsaXN0 IChzZWFyY2gtcGF0aC1zcGVjaWZpY2F0aW9uCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgKHZhcmlhYmxlICJHSENfUEFDS0FHRV9QQVRIIikKICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAoZmlsZXMgKGxpc3QKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIChzdHJpbmctYXBwZW5kICJsaWIvZ2hjLSIgdmVyc2lvbikpKQogICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgIChmaWxlLXBhdHRlcm4gIi4qXFwuY29uZlxcLmQkIikKICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAoZmlsZS10eXBlICdkaXJlY3RvcnkpKSkpKSkK --=-=-=--