From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:5f26::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id qFwsHyNmhWVjVwAAkFu2QA (envelope-from ) for ; Fri, 22 Dec 2023 11:34:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 4ArhGiNmhWUKKwAAqHPOHw (envelope-from ) for ; Fri, 22 Dec 2023 11:34:11 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=laesvuori.fi header.s=mail header.b=VG6EYQOd; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1703241251; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=u1NXcFONihi4nkq1NyIlcLY9iWKuBFvWxK59dY590DI=; b=aqVenyxRvDiEkx6vHeVGiEabLkd607OgvLHpQ6+He4WhcCuW+WdsULASeg3XLeqv/nkW+i NHmx/VpTFU+fDwNdpcw91YCUOJ3edFfsX/nJsplAOrm4Co7Lvzod37P1CTjOSxEDvmpZl/ kZaBcab896FDlq3BmIUpxHVxxt+30GVStnM/pWP4r7rkoiMXsmSrEmWL7hQLBw7KdFVJFy QY/5Fc0MbUj0DukFEIYDPuk64SXPjjaApmHxhoKLNVxxMwTpT5wZ/m+nN6Fm9MQG2uEXSX R1NnGtacPMZMVaJrOZXO+fAUuLcpIMKCfKJIVE7TsMjXQptP/VH6EH1XH/HMqA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=laesvuori.fi header.s=mail header.b=VG6EYQOd; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1703241251; a=rsa-sha256; cv=none; b=RDZsXvDSiNYDKsjdOhbWGEoPGtdiJHaqOLYBv7qsGMHHTsCDpmKOTIgWNKBYbUSaNgDKEo BcAOeNqVYuavIlbVwbyJil3902CA7QEncZIiNdEDvFIvsMQZScZNmmJlBf57rhGD/VbzBJ Ebcjac0bIMua2jfFm48PNK87CuzVB34LLc2UbbqYmdlP5rKS1Dl4iEhDkxgjqZUNOl+62k Vx3D0uvsdKlfyK0HfGMkEHaeD7bv4kHPEgN+lL90e+xLKh4bB03l8FxGMC3+5dT3CC1kFy 4Z1isJj6Pd5y6ZRrJ8S6zpqaM5PDQsD7SMOfOCmwNFM4TNXJ+dXw1psDfI+83g== 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 26E7D1566E for ; Fri, 22 Dec 2023 11:34:11 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rGcqu-0006TT-MJ; Fri, 22 Dec 2023 05:34:00 -0500 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 1rGcqs-0006TD-5m for guix-patches@gnu.org; Fri, 22 Dec 2023 05:33:58 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rGcqr-0007hz-Ql for guix-patches@gnu.org; Fri, 22 Dec 2023 05:33:57 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rGcqw-0002ip-85 for guix-patches@gnu.org; Fri, 22 Dec 2023 05:34:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67921] [PATCH haskell-team 2/3] gnu: ghc: Use version 9.4.8 as the default Resent-From: Saku Laesvuori Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 22 Dec 2023 10:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67921 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Lars-Dominik Braun Cc: 67921@debbugs.gnu.org Received: via spool by 67921-submit@debbugs.gnu.org id=B67921.170324121310425 (code B ref 67921); Fri, 22 Dec 2023 10:34:02 +0000 Received: (at 67921) by debbugs.gnu.org; 22 Dec 2023 10:33:33 +0000 Received: from localhost ([127.0.0.1]:46105 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rGcqS-0002i5-MT for submit@debbugs.gnu.org; Fri, 22 Dec 2023 05:33:33 -0500 Received: from vmi571514.contaboserver.net ([75.119.130.101]:55540 helo=mail.laesvuori.fi) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rGcqQ-0002hv-5U for 67921@debbugs.gnu.org; Fri, 22 Dec 2023 05:33:31 -0500 Received: from X-kone (unknown [130.233.144.183]) by mail.laesvuori.fi (Postfix) with ESMTPSA id BF09C34304F; Fri, 22 Dec 2023 11:33:31 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=laesvuori.fi; s=mail; t=1703241212; bh=u1NXcFONihi4nkq1NyIlcLY9iWKuBFvWxK59dY590DI=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=VG6EYQOdkB1FuwiPd/p1oWU7FKqmNag8wRogQ0XJN+j5yBLefPtg60HIYuVCs94zV WYI31NuVmsB9k9OLuDlFJLJ2eCGiluP4YIEGh23jf6mjS5j1q7aMYYpsnbnJYsGveC ZvywQx8J6v+rzNwsE1UBjttx/+JtTXcoHFtRwJ0Y= Date: Fri, 22 Dec 2023 12:33:21 +0200 Message-ID: References: <5cdfcf3aadfbe42655b941764d5a700b6d4bca88.1703056111.git.saku@laesvuori.fi> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="obylmhjgscp5arsq" Content-Disposition: inline In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Saku Laesvuori X-ACL-Warn: , Saku Laesvuori via Guix-patches From: Saku Laesvuori via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -8.30 X-Spam-Score: -8.30 X-Migadu-Queue-Id: 26E7D1566E X-TUID: pFjDFV/NQhSA --obylmhjgscp5arsq Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable > Hi, >=20 > > * gnu/packages/haskell.scm (ghc-9.4): Rename from ghc-next to ghc. >=20 > why 9.4 and not 9.6? Stackage 22.0 for 9.6 has just been released and > if we go for a big upgrade (you=E2=80=99ll have to update the entire Hask= ell > ecosystem if you update GHC), we might as well just make the jump to > GHC 9.6 and Stackage 22.0. Because I wrote that patch when there wasn't yet a Stackage release for ghc 9.6. But if a stackage release for it has now been released I'll try updating it to 9.6. Regarding the big upgrade, I have been wondering how could the cabal revisions be updated automatically. Is there a simpler way than to 1. include a procedure for editing the declaration in the =20 2. refactor the entire updater code to use that procedure 3. implement completely new logic for adding fields to package definitions? That seems like a lot of work in code that I don't know all that well. Is there some reason why the revision is not part of the package version? Moving it there would probably be much easier than modifying guix refresh (but then again, if those modifications should be done anyway it doesn't really reduce the amount of work) - Saku --obylmhjgscp5arsq Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEoMkZR3NPB29fCOn/JX0oSiodOjIFAmWFZfEACgkQJX0oSiod OjL3EhAAkQSMY/WVBDEndRqbgCc1TMLpeeC6GXP1xFY6xmlkNG5CRPjVEpf7Yq2N YaMbQq1qAnLRRa4WHmq/hFvbpgaNXut6BiOruePQ+0LWl6Zay4ITd0OO8Bjq8weu gaNdBpLbCKBWw3mEBbZdVPpjFtI6xBWf/FZRMbLTvOUvfZPuDfTXpyRQMrUGNXzr NU/GkHuIktIMN3neP7Z5lQhojTBSA6WAaq+NrQGQb0zWocwVurxnGFF77/LfUOQ6 KgpqiyJRK+LPhiJQoU3M13LUXxiMHzzAojjJx6WHtRQtM4AAbD7PvQUZbo0soez9 XJm+KTWUMT1RYkvRdMtzhPmRkBQJ0fWOETFcFAardn18cKFdl9PLPz3QD4Wtl9yd 0vUp6CrNQl/4TM2A/05v6AQWv87lAFy27Q0CjfU4WKWiRLFPPEsCQQilWRrYl29e i40ce4t0MXNWIBCsrp2wivG6NVtxIAPbMG/d5v+ocyEF2LoVxRrxDbVg90Wyb4oJ KYRiIxT4a57q0iUMFuyaZLnQ0T6tK9SY8xTGLf02iMsYQk58iD/d+rW5guSvM8Dc ueHY+TMOp//VaMiTcPlPBOiw+IJmZ0AB6ivtKNUQZK9NVNGgGUrZU1BX8eL7tfr1 1SOCFpz6jwLbghbPYI/85zCxMEBTUWvsLGDDiqRjZXWJj093D8Q= =fZSa -----END PGP SIGNATURE----- --obylmhjgscp5arsq--