From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id YPuqOh9kGmJyHgAAgWs5BA (envelope-from ) for ; Sat, 26 Feb 2022 18:32:15 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id KEY8Nx9kGmL7SAEAauVa8A (envelope-from ) for ; Sat, 26 Feb 2022 18:32:15 +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 59B1A477CA for ; Sat, 26 Feb 2022 18:32:15 +0100 (CET) Received: from localhost ([::1]:45710 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nO0vW-0004z1-HX for larch@yhetil.org; Sat, 26 Feb 2022 12:32:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37032) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nO0vL-0004yj-EJ for guix-patches@gnu.org; Sat, 26 Feb 2022 12:32:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:34156) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nO0vK-00013M-BG for guix-patches@gnu.org; Sat, 26 Feb 2022 12:32:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nO0vK-0003Ef-6V for guix-patches@gnu.org; Sat, 26 Feb 2022 12:32: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: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 26 Feb 2022 17:32: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: 53878@debbugs.gnu.org, zimoun , Liliana Marie Prikler , Liliana Marie Prikler 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.164589667112362 (code B ref 53878); Sat, 26 Feb 2022 17:32:02 +0000 Received: (at 53878) by debbugs.gnu.org; 26 Feb 2022 17:31:11 +0000 Received: from localhost ([127.0.0.1]:56286 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nO0uU-0003DI-Gt for submit@debbugs.gnu.org; Sat, 26 Feb 2022 12:31:10 -0500 Received: from new3-smtp.messagingengine.com ([66.111.4.229]:50759) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nO0uS-0003D0-H7 for 53878@debbugs.gnu.org; Sat, 26 Feb 2022 12:31:08 -0500 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailnew.nyi.internal (Postfix) with ESMTP id 665E35800CD; Sat, 26 Feb 2022 12:31:03 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Sat, 26 Feb 2022 12:31:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc:cc:content-type:date:date:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to; s=fm1; bh=53YWM251H9VWzP wZLGa/y3E7M8h1O10R0/jh3YgaxAo=; b=ba5RmVjlHC9WsH/H3pjzKtCmI0uY1c WS7tWwo+3nB7D6Mon+OlGylhSxhqJU24BrBagtoLN5HDuMq3jIO4OJqGuOf0Fo1N pNXVoko/QIKqbb5/jGnkqK6ctRoZ+86ruyIOCisB7arh1osHQ9NHYiVPg1dvWPHg AmiPVufZpFtzM5A4HNVr2xExw6bNvbYG6LPL6D+ENZcxk02M5zKd8CQx7zAIR/jG Cp1+9mQ4Z0Ma1SIWy44PIW0Odn3sdKp78jadl9xiLi11xlo2RSQygYPKxemdCO2q ObrIcyyZdNuA5kE52DI/3pU4Ynid168qu+7t3AtuVBvqWbWa/F+z4fKw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-type:date:date:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=53YWM251H9VWzPwZL Ga/y3E7M8h1O10R0/jh3YgaxAo=; b=NI+zKEIlD0SKdM08AWUHyBpTGkQ805WAr 5a/LCwY27WlnEgDBvHwMBRg2vXt+39oOiGqgPwEjZvkfh4h06RddmiqNyf+GKwOY a3SpbN2Bk8LLD5PuMQhNR8Pt2iiTB31x8dpI6LCnhI2AJGebaarTF0X8RL4ZNuTo xHmciKo3zEB2OfBG7+X6c5PxGuxHNIRPWVSQrJvSN74vpeFpEUcCkyUk+10jtUKz 6JfahP0/GuJrb+Vv/2jB/5UVo7w9ZsjNeqq/NW8ks9uVGzlViwA1GK8KBxJY2bXy NnG1TZw2EAM2yLBY0rIJ3aRvjbKvuu0D/BTMVBGjAG7H1fAVZ88pQ== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvvddrleeigdelkecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufffkjghfgggtsehgtderredttdejnecuhfhrohhmpefrhhhilhhiphcu ofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtghomheqne cuggftrfgrthhtvghrnheptdeuudeuhfekudefgfdvtefgkeduveetvdelgfduhffhheff ieeivdeigffhgfdtnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilh hfrhhomhepphhhihhlihhpsehphhhilhhiphhmtghgrhgrthhhrdgtohhm X-ME-Proxy: Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sat, 26 Feb 2022 12:31:02 -0500 (EST) From: Philip McGrath Date: Sat, 26 Feb 2022 12:31:01 -0500 Message-ID: <3062387.UNBJiXZ2us@bastet> In-Reply-To: References: <20220220060610.178131-1-philip@philipmcgrath.com> <4187312.lXvkglyHfx@bastet> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart4621658.hZGDtEnxQe"; micalg="pgp-sha512"; protocol="application/pgp-signature" 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=1645896735; 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: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=53YWM251H9VWzPwZLGa/y3E7M8h1O10R0/jh3YgaxAo=; b=pBp4/+1ay1NCQ29czBp1F4ed73hVdzKJe+uD+VeYTgDjXuyba+A3a2x3zP65WUkUe0q6+S fmhYGOjGgznrXWbd4QND4y9x9ArM93qtFv+e7RGbQUxn+XQN1Jo9Ac7hRbjdeweRQsOt4P deI9wEgh7yWTDaYSNHCIoo+GrZTrVGkpVE/kQK36m8G5BY7/5Z7YrMcB3PL9pbo3JXb+zd LG4WuWD2cG3HD0PU4MEw4elqKZ+UIkS47seAhnjUQ8Eke1AP+zZwxY0CMLKzM0asVSH9yu YDiyf/BDsu6m5eSmC3g3AJAiCmo9a+/myDeSrm9WPTLMAarCM64AD+hdpUoXbg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645896735; a=rsa-sha256; cv=none; b=scCD8yTZtQedb9BcQ2+n3GOwv6qWiK1u58eq/Ar6hdvzOC64XjfF7cH8kHzjmuVcd1QokK rZpgQk1tLd8V8A2+kWHnFa/SCh2JNS8Fyw+M0IjEmeeQW7ItiqH1/2RhWXhx1AuMfHWWxd dT0KTlq7H7LLeA4oXuEgMbbJrqbyKCt9/RWPWtx/NRzxp8aVtmzxZx1FV0JAhvWuiqbBJP pozemnxEtKsHVCQhFvkaWGAs6JNF7STAAVS61riKzgw9dwpm/YeAjt5GZ2mJmIxzhg6A1r +gl5wM/yEw+u6ydf07JJLDym/QVHJKVKSGwvjHOZpIMfE+DANJGRKp76ZdVcTA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=ba5RmVjl; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=NI+zKEIl; dmarc=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: -0.22 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=ba5RmVjl; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=NI+zKEIl; dmarc=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: 59B1A477CA X-Spam-Score: -0.22 X-Migadu-Scanner: scn0.migadu.com X-TUID: hzWXsTpIk9Et --nextPart4621658.hZGDtEnxQe Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8"; protected-headers="v1" From: Philip McGrath To: 53878@debbugs.gnu.org, zimoun , Liliana Marie Prikler , Liliana Marie Prikler Cc: Ludovic =?ISO-8859-1?Q?Court=E8s?= , Attila Lendvai , Malte Gerdes , raingloom , Maxime Devos Subject: Re: [PATCH v5 00/22] Update Racket to 8.4. Adjust Chez Scheme packages. Date: Sat, 26 Feb 2022 12:31:01 -0500 Message-ID: <3062387.UNBJiXZ2us@bastet> In-Reply-To: References: <20220220060610.178131-1-philip@philipmcgrath.com> <4187312.lXvkglyHfx@bastet> Hi, On Saturday, February 26, 2022 11:14:38 AM EST Liliana Marie Prikler wrote: > Hi, >=20 > Am Samstag, dem 26.02.2022 um 10:36 -0500 schrieb Philip McGrath: > > Hi, > >=20 > > On Saturday, February 26, 2022 10:08:30 AM EST Liliana Marie Prikler > >=20 > > wrote: > > > Am Samstag, dem 26.02.2022 um 08:02 -0500 schrieb Philip McGrath: > > > > 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. > > >=20 > > > 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? > >=20 > > I like this: > > > > + (replace 'unpack > > > > + (lambda args > > > > + (unpack #:source #$(or (package-source this- > > > > package) > > > > + (package-source racket- > > > > vm-bc))))) > >=20 > > rather than: > >=20 > > (unpack #:source #$(package-source racket-vm-bc)) > >=20 > > to make it easier for a user to provide an alternate source. >=20 > Hmm, to be fair this would probably respect --with-source, which I was > missing, but I'm not sure how deep into the bootstrap we could inject > this. Sadly, we can't make chez-scheme-for-racket itself a > transformation. >=20 > > My concern with: > >=20 > > (unpack #:source #$(or (package-source this-package) %racket- > > origin)) > >=20 > > is less strong, but if `(gnu packages racket)` exports `%racket- > > origin`, it > > seems like it would be very tempting to put it in a `source` field, > > but of course that would cause problems. My hope was that having to > > write `(package-source racket-vm-bc)` might prompt a little more > > thought. >=20 > Hmm. And what if we go my earlier route of defining this as a > procedure in chez and instantiating it inside racket.scm? We should > not get a cycle triggered by chez-scheme-for-system if we do, but we > might get one if we attempt to bind it to a variable in racket.scm. >=20 > That aside, there is also the possibility of using a gexp promise as > source, as is done for example in the case of linux-libre. If we wrap > the chez side in a promise, that ought to resolve the cycle as well. >=20 Interesting ... I'll have to take a look at that. In the medium term, for Racket packages, I think the 'racket-build-system'= =20 ought to provide some support for using a different Racket. For Chez Scheme= =20 packages it's probably less complicated. (At least, I've had no problems wi= th=20 the things I've tried.) =46or now, mostly I thought it would be very surprising if `unpack` silentl= y=20 ignored the package's `source` and unpacked something else, instead. > > > 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. > >=20 > > Will do, sorry! (I've been experimenting with MUAs recently and not > > getting everything right=E2=80=94you may have noticed I sent mail earli= er > > from an address I wasn't intending to use.) >=20 > I haven't noticed, but thanks for pointing this out. If a commit from > the wrong address does make it into our git history, please do point > that out; I'll be happy to adjust the mailmap for you. >=20 Thankfully git and git-send-email have been fine; only a couple prose messa= ges=20 came from the wrong address. =2DPhilip --nextPart4621658.hZGDtEnxQe Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEE9GWrrNY3rqwUFVXPygNjjfo/HHoFAmIaY9UACgkQygNjjfo/ HHqVAA//akUhtXsqPUe0RXHqVd0wrH9lAZJuycrALXlFWE86kcB2SsPFRWa0TVfa XHEBqS565DJrZqpBm7t4Vry3Sqc1YgW8wRrCzXbJfQX0qi2ooXQNg+pz7TExxeJB CKbbrIyFxsBLL1Ci6U6GbRuqh6DziAWIXz6N9MHYJuQ2IEkJMKZRibeg9HDMUy3o GVuasqaYfo04Bavh3vEFFrtiRnrAjFSHsW/bbRD+0Soi8bBxYchdTRL/Co/3KcrX acxdjYlw2z9d+yBrzAtq2z0gwsfTZVEu2n8+/TTuPlKXB+BSL+fokNw2lliEvwmZ 5eGCPDX9BnCVz/OqCnk8uFTyr+Br0tIEfzhMrgD8RMu+juauIDOVb7VaMLlL099u 3i1pmkLz8y2Yr7nKImLYrIzmJYa+hKKDGtE2ifUVLQQQ66KEQzu74YQiKoWoGhnx edmU/FQbY9TY8WPzmRF+WUpws0Ki058Sg16yX+lNb/A4iBPWmg/PVzcm2Ztpb5W0 EoAptMR12KMN/+NxCjuh/Wwbu8tRwezNp2wPoUAhZbHJU731scoHKIAJIk841XIV ImJA8gr4nL7gbxAGsHP4o32kBLXOIDh4VftNoZt/Fm29NImS1TYFvPenT+cloLGP Sq7o2vopFteLAQ4nXNbKodzr0Hl7D3yJ/IlIUUySwelJS4D3g8g= =Zzo6 -----END PGP SIGNATURE----- --nextPart4621658.hZGDtEnxQe--