From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id CFRqEU6GPWSSSQEASxT56A (envelope-from ) for ; Mon, 17 Apr 2023 19:47:58 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id GN+DEU6GPWSK1QAA9RJhRA (envelope-from ) for ; Mon, 17 Apr 2023 19:47:58 +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 0126636F14 for ; Mon, 17 Apr 2023 19:47:58 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1poSwo-0002eg-KZ; Mon, 17 Apr 2023 13:47:26 -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 1poSwm-0002eU-Sk for guix-devel@gnu.org; Mon, 17 Apr 2023 13:47:24 -0400 Received: from mail-wr1-x434.google.com ([2a00:1450:4864:20::434]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1poSwk-0004Gb-V0 for guix-devel@gnu.org; Mon, 17 Apr 2023 13:47:24 -0400 Received: by mail-wr1-x434.google.com with SMTP id ffacd0b85a97d-2f94fe993edso156363f8f.1 for ; Mon, 17 Apr 2023 10:47:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1681753641; x=1684345641; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=l96aPyvLCWTjOS5ai2z6NITKxlLmzjhVN2dJEiUGZqw=; b=pgNugaHyO/OzkyM8z8Ig3MOsg/ga8JUzZaMfHf04pygNOmg8JZzIkZh/5nBmMZAiHZ CrVG3035OoTBzNAcn0tvqkE6mEVY6bmrYRfIMwNCoEHpPN/EXi6hewsiefLF2LKNHWuQ JWGzkAZoAScBJsyvxeQpSG/+QqyKMjFvbasVhfKLD0CJDktIGmIZP+Yslmizl6IjSNvd K9FuZqU+dawAegblSE4/Qk+iQqKYKdrzVD6kCSly2tk9a/ULMXNUplUv7dAKrLenOukh 7gWP65TjJ9ETMOTaDdQqd0Yg9vnestovQKrbyAHHfwAfN4etrJinNVhL6T5gZeS/MINK ouqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1681753641; x=1684345641; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=l96aPyvLCWTjOS5ai2z6NITKxlLmzjhVN2dJEiUGZqw=; b=OAaplnVzJA70dmrayK18sJ7jUTPuCyxHUFYIrnacHNbHqm+Qe73L4sAHcA1JZwlSmC Oie6ubMlD2p9icyCdruRaxhrMhBK/If9xXw1qbZ+ZEtXEKHIiwUuxftAl8g1dBahJMb6 0iLIJ57aWM2w40l+V9rB1gQElzYNar9HG0FjUfuseyzla1hOW3QMd4rKaEr2ILlVv05s JnASXGdxrxLpl+L5ubcVSEMM5wdZ6A319+h2hyZqjWqhqErEOQIjPzBhUrK7QTccZcIB /DGHwiHutNuzQMszaglg9PJkYZ3idpFW9G8U8pOaRWRiD38SW/KiSaWxDLioOPUOMHpY 3few== X-Gm-Message-State: AAQBX9cvi3y6ynCCr8qHwy15BrSXeyvX7hBoPnlReq7QE1JmUmFrteAP dWcEoQuOcj4uNz5+CBRAGMI= X-Google-Smtp-Source: AKy350a+mxJ21LWd9ahdMNV9EcYDqKvdYJSm1hFINa6JwxNpeDvQxzYUwXOLGpPWyrEg+0lE8gTA9g== X-Received: by 2002:a5d:6281:0:b0:2ef:9699:f906 with SMTP id k1-20020a5d6281000000b002ef9699f906mr7528372wru.7.1681753641059; Mon, 17 Apr 2023 10:47:21 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id y18-20020adff6d2000000b002daf0b52598sm11017474wrp.18.2023.04.17.10.47.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 17 Apr 2023 10:47:20 -0700 (PDT) From: Simon Tournier To: Lars-Dominik Braun Cc: Andreas Enge , guix-devel@gnu.org, Alice BRENON , Ricardo Wurmus Subject: Re: Core-updates after the staging merge In-Reply-To: References: <87r0siem5c.fsf@gmail.com> Date: Mon, 17 Apr 2023 19:47:16 +0200 Message-ID: <878reqe6zf.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::434; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x434.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action 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: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1681753678; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=l96aPyvLCWTjOS5ai2z6NITKxlLmzjhVN2dJEiUGZqw=; b=RdMXau4TvGK3pxuLjlJIvlDHBEy5VI+MoKSZDYQSvTBXrSz0KOU/UqbdM5+jyF1juGMBtT /wNJ6pul3QBnpOLzIcfFV+HmaSny3l58Z01LEBGcotY70Gz54GcI4pvxt+XqY/Q6yZBiRz sY2qjAVRlJF9lUOT4LLpgS5tds47Ipy27rFrNzBycWIqoP7dAIzUdhb1xWC6hU/g0uXLZY o3eCnifjcwQZ1T9/tELql+uCSG4LDrEAaY69STgXjAOi1atfgDuAhjUnSDxSYfWj+6k//X b0wqWH6E9SNPTMqecyutSW+RLvd6XHAZQfvIGqcD6DDmSG7KnZnN2EUR3m3nQA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=pgNugaHy; 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"; dmarc=pass (policy=none) header.from=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1681753678; a=rsa-sha256; cv=none; b=uNBWtvz2p/9h5ChO7bgHf4UrmaBLyKBpDNSYC39yXwu/3g0tfkHsHxo/vBiBmzj7okISkN IqHVoxZPKNtZVhIDjnMDKh5MVVRdn6EasIeBeHv8mwRNK+ej62xCSJQkA9jzeZqeNGhvBm jU1LDgSni9aL5E77R4TCMa9ghbecqCYxR9TwSAqHsh0ynUvYHfOI7L+0InFAXRbyFy4Hxk bZvvVAlp14apa90CJ3RqbUKBUbcs9Rp3pi2B6+EcLnIv/LmO9xRb5c69bmBgEj1jEdP+6B EMBzPP+LuoXGef5nC28ysS6YpSgpt+w7Wjtx8gm9UT9ZlPz4GF2B2NiHSV65CQ== Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=pgNugaHy; 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"; dmarc=pass (policy=none) header.from=gmail.com X-Migadu-Spam-Score: -6.45 X-Spam-Score: -6.45 X-Migadu-Queue-Id: 0126636F14 X-Migadu-Scanner: scn1.migadu.com X-TUID: 5pBcj4yMlOCR Hi, On lun., 17 avril 2023 at 16:12, Lars-Dominik Braun wrote: > note that the information on haskell.org is not always accurate and thus > this shorter chain may not actually work. Please give it a try and send > a patch. If I read correctly, the current chain is: 7.8.4 -> 7.10.3 -> 8.0.2 -> 8.4.4 -> 8.6.5 -> 8.8.4 -> 8.10.7 -> 9.0.2; 9.2.5 -> 9.4.4 (next) where 9.2.5 is the one used by haskell-build-system. Instead, this chain, 7.8.4 (needs 7.4 at least) -> 8.0.1 (needs 7.8 at least) -> 8.4.4 (needs 8.0 at least) -> 8.6.5 (needs 8.2 at least) -> 8.10.7 (needs 8.6 at least) -> 9.2.5 (needs 8.10 at least) builds for me. So It removes 7.10.3 and 8.8.4. That said, note that the current binary root is 7.8.4 with the hope to join with the current, 4.08.2 (needs GCC and outputs of previous GHC) -> 6.0 (needs 4.08 at least) -> 6.6 (needs 5.04 at least) -> 6.10.4 (needs 6.6 at least) Well, joining 9.2.5 to 4.08.2 could be done using intermediary versions: -> 6.10.4 (needs 6.6 at least) | -> 6.10.4 (needs 6.6 at least) 6.12.3 (needs 6.8 at least) | 7.2.2 (needs 6.10 at least) 7.4.2 (needs 6.12 at least) | 7.6.3 (needs 7.0 at least) 7.8.4 (needs 7.4 at least) | -> 7.10.3 (needs 7.6 at least) -> 8.0.1 (needs 7.8 at least) | 8.2.2 (needs 7.10 at least) -> 8.4.4 (needs 8.0 at least) | -> 8.6.5 (needs 8.2 at least) -> 8.6.5 (needs 8.2 at least) | -> 8.10.7 (needs 8.6 at least) -> 8.10.7 (needs 8.6 at least) | -> 9.2.5 (needs 8.10 at least) -> 9.2.5 (needs 8.10 at least) Well, one version would be win when using 7.10.3 (modulo inaccurate information on Haskell website :-)). All in all, I am proposing to send a patch for the first path for this core-updates cycle and postpone this other path =E2=80=93 not doable for th= is cycle; I will resume this story later. Andreas, core-updates is frozen but is the former shorter bootstrap chain acceptable? >> I mean I propose to have both: ghc-x.y (with tests) and >> ghc.x.y/bootstrap (without tests), it would ease the maintenance of the >> Haskell ecosystem on several architectures. WDYT? > > I have a bad feeling about turning the testsuites of intermediate versions > off. Yes, they take a long time, but then they also ensure the resulting > compiler actually works (with high confidence) and we don=E2=80=99t silen= tly > propagate issues into the next one. Well, I am convinced that we are doing the optimal way. For instance, the run is sequencial, --8<---------------cut here---------------start------------->8--- #:test-target "test" ;; We get a smaller number of test failures by disabling parallel te= st ;; execution. #:parallel-tests? #f --8<---------------cut here---------------end--------------->8--- Then, for another example, the GHC testsuite is distributed separately, https://downloads.haskell.org/~ghc/8.10.7/ghc-8.10.7-src.tar.xz https://downloads.haskell.org/~ghc/8.10.7/ghc-8.10.7-testsuite.tar.xz And Debian seems considering the GHC testsuite as a package, https://tracker.debian.org/pkg/ghc-testsuite Maybe we could do that. It would allow to catch errors and not wait ages after each GHC bootstrap toolchain completes all its testsuite. WDYT? Cheers, simon