From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 6Cv+GplCGmLC4AAAgWs5BA (envelope-from ) for ; Sat, 26 Feb 2022 16:09:13 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id AKTAE5lCGmI9JQEAG6o9tA (envelope-from ) for ; Sat, 26 Feb 2022 16:09:13 +0100 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 EC6AB2D6E8 for ; Sat, 26 Feb 2022 16:09:12 +0100 (CET) Received: from localhost ([::1]:44136 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nNyh3-000653-5l for larch@yhetil.org; Sat, 26 Feb 2022 10:09:11 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40358) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nNygw-00064c-Uj for guix-patches@gnu.org; Sat, 26 Feb 2022 10:09:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:33960) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nNygw-00089r-Lt for guix-patches@gnu.org; Sat, 26 Feb 2022 10:09:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nNygw-0003Ad-GD for guix-patches@gnu.org; Sat, 26 Feb 2022 10:09:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53878] [PATCH v5 00/22] Update Racket to 8.4. Adjust Chez Scheme packages. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 26 Feb 2022 15:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53878 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Philip McGrath , 53878@debbugs.gnu.org, zimoun Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Maxime Devos , Attila Lendvai , Malte Gerdes , raingloom Received: via spool by 53878-submit@debbugs.gnu.org id=B53878.164588812112159 (code B ref 53878); Sat, 26 Feb 2022 15:09:02 +0000 Received: (at 53878) by debbugs.gnu.org; 26 Feb 2022 15:08:41 +0000 Received: from localhost ([127.0.0.1]:56090 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nNygb-0003A3-BG for submit@debbugs.gnu.org; Sat, 26 Feb 2022 10:08:41 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:63861) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nNygY-00039t-C1 for 53878@debbugs.gnu.org; Sat, 26 Feb 2022 10:08:40 -0500 Received: from kagayaki.fritz.box (85-127-52-93.dsl.dynamic.surfer.at [85.127.52.93]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4K5VQR4qZ1z3wDL; Sat, 26 Feb 2022 16:08:31 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1645888112; bh=KaSPza0asIIEnwZFOc3ehOPbmfsQN1q5pIgLOvUfKpI=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=FXcIa1vtnoN14RWgiR6sDy+givYnP3FH+J/r4Y3cuI/0omimujN4U2J3n25tsIFAf RGtEwyi0qZ0aZCzS1ZJpfW2t+os7lQKQYZqzNl8iEJAc9jep/x3SyEldwMPNe89bYs r926syZeLE3Vr4de3RI0MW0jeHDdwNGdtusOC8kc= Message-ID: <74bab2e6a9feab707496d84870c7fc987721a17c.camel@ist.tugraz.at> From: Liliana Marie Prikler Date: Sat, 26 Feb 2022 16:08:30 +0100 In-Reply-To: <20220226130254.1301333-1-philip@philipmcgrath.com> References: <20220220060610.178131-1-philip@philipmcgrath.com> <20220226130254.1301333-1-philip@philipmcgrath.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-TUG-Backscatter-control: waObeELIUl4ypBWmcn/8wQ X-Scanned-By: MIMEDefang 2.74 on 129.27.10.116 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: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" 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=1645888153; 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: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=KaSPza0asIIEnwZFOc3ehOPbmfsQN1q5pIgLOvUfKpI=; b=naf6i+8zdelGj/2FKqHTz6pclNM5BbfwBwRni/u297jU1nbefce6LunEAGEr90maHZTYiX kzLOgGxcXrqbruvX/dbWYDNmYdEf7nznNJcukFCMv+0rWrbfKL+wWwr27ULGKccpdvfG5h vvSFsELsaPiZNwJ4qmP3E0syhFWrk1jt+HBH4NP7ACTxS+op32u3fMFWWmFWCG5ErxcSav 042jPqzk5NnhhexHXLPdRTxKx2YJT0QTfSUtTWZdHEgAZVdtyAPKNGXoq3YQH7IwfYhgBY mO4EAIHZ9bcHr+II0m66GnXjOFfYG38JWwSvhyNRRKmJczdx4l2Acz1ELzNyJQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645888153; a=rsa-sha256; cv=none; b=FyQragNUUMxerLSg988Embi9Spi5D4xE+KvyQc2UOGlBzE39RoEE728+wJf4fx7EEf9K/5 nxTE5edQxWSwqBdweVKaQn21AaZWMNxUyTEHicWFe+a59QW8PN05JcQ7FFBS32gGTdF2cf ameaVmautOIYnNvlC+lk5xA0Vo0oM657QvpWWH5fKa0SPVIvq+rgxnmoOcQfw7/ObP/gnu IuJw8wNT1E3wjq2/XzvmYmq6NbAdq2WgM2N4yldeFeYwDbKWi4B8F+DiZjVA7j0gWVBeme rztXtlikuLaqAHRinzgOe0c277j6ypN4bxZC5YWAyOSJMFCjouyGp536dtA+3A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=FXcIa1vt; dmarc=fail reason="SPF not aligned (relaxed)" header.from=tugraz.at (policy=none); 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" X-Migadu-Spam-Score: 6.18 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=FXcIa1vt; dmarc=fail reason="SPF not aligned (relaxed)" header.from=tugraz.at (policy=none); 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" X-Migadu-Queue-Id: EC6AB2D6E8 X-Spam-Score: 6.18 X-Migadu-Scanner: scn0.migadu.com X-TUID: asZ8wteGpmyg Hi, Am Samstag, dem 26.02.2022 um 08:02 -0500 schrieb Philip McGrath: > Hi, > > I've been ruminating for a while on Liliana's comment > from : > > On Wednesday, February 23, 2022 3:31:34 PM EST Liliana Marie Prikler > wrote: > > [...] there are some things that still > > don't feel right for me – for instance the fact, that seemingly > > unrelated modules now have to pull in racket bootstrap sounds like > > a recipe for trouble.  The final patch in the series also still > > does too much for me to wrap my head around, which makes it > > difficult to audit. > > > > Therefore, one question I have w.r.t. updating Racket is whether we > > could theoretically bump the version while keeping the old > > bootstrap, and then adjust the bootstrap by adding all the packages > > you've made. It does seem to be an all or nothing deal when doing > > the bootstrap first, but that need not necessarily hold for > > bootstrap second. > > > > Also, accepting for a moment that we might have to move chez-scheme > > and other important things into chez-scheme-and-racket-bootstrap > > (even though I'm not really content with it), I still wonder if we > > could introduce chez-scheme-for-system first (defined as simply > > chez-scheme initially) and adjust the callers, then move chez- > > scheme while keeping the function in chez.scm and finally do the > > magic with making it either chez or racket. > > > > It struck me that the core of the dependency cycle (at least, from > one perspective) is that 'chez-scheme-for-racket' wants to 'inherit' > from 'chez-scheme' but use '%racket-origin' for its 'source', and > neither of those are thunked fields. I did realize that too, but perhaps I failed to mention that or didn't get the point across before this, so pardon me for the extra work you had to put in that I could have helped avoid. > I realized that, if we just pass the origin some other way than as > the 'source' field, we can avoid adding the > "chez-and-racket-bootstrap.scm" file > altogether: patch v5 10/22 does the core of that. I did miss that nugget when I skimmed it first; is there a reason to prefer overloading unpack and redirecting it to (package-source racket- vm-bc) over doing the same, but using simply #$%racket-origin? > I also managed to split up the update to Racket 8.4 (patch v4 15/15) > into a number of smaller steps (or, more precisely, rewrite it now > that I knew what the end result would be). I now have the 'racket- > minimal*' packages gradually evolve into the corresponding 'racket- > vm-*' packages (rather than adding the 'racket-vm-*' stack in > parallel), then split the new 'racket-minimal' package > out of 'racket'. Hopefully this might be somewhat easier to review. > The downside is there are now 22 patches, rather than 15. In general, smaller patches = more better. I really like this series so far, there's only some cosmetic nitpicks, although for the record I do have to say that I skipped over many things that felt familiar from earlier series. BTW for the record, if you're dropping one of my mails from the CCs, please make sure to include the gmail account rather than my institute mail. This one is technically supposed to be for work and I'm using a rather loose interpretation of "ensuring that software is up-to-date" as part of my work when I do comment on Guix issues from it. I'll now attempt to build racket with this patch and hopefully encounter no error as I do. Cheers