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 AAIzL/FLEmLergAAgWs5BA (envelope-from ) for ; Sun, 20 Feb 2022 15:10:57 +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 UIq9K/FLEmK9agAAauVa8A (envelope-from ) for ; Sun, 20 Feb 2022 15:10:57 +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 E72A63587A for ; Sun, 20 Feb 2022 15:10:56 +0100 (CET) Received: from localhost ([::1]:53672 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nLmvP-0000Qc-OH for larch@yhetil.org; Sun, 20 Feb 2022 09:10:55 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44472) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nLmuZ-0000AY-TJ for guix-patches@gnu.org; Sun, 20 Feb 2022 09:10:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37571) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nLmuZ-0001MN-Hd for guix-patches@gnu.org; Sun, 20 Feb 2022 09:10:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nLmuZ-0002kC-7q for guix-patches@gnu.org; Sun, 20 Feb 2022 09:10:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53878] [PATCH v3 09/15] gnu: Add racket-vm-cgc. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 20 Feb 2022 14:10:03 +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: Liliana Marie Prikler Cc: 53878@debbugs.gnu.org Received: via spool by 53878-submit@debbugs.gnu.org id=B53878.164536619110519 (code B ref 53878); Sun, 20 Feb 2022 14:10:03 +0000 Received: (at 53878) by debbugs.gnu.org; 20 Feb 2022 14:09:51 +0000 Received: from localhost ([127.0.0.1]:59696 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nLmuN-0002ja-Ib for submit@debbugs.gnu.org; Sun, 20 Feb 2022 09:09:51 -0500 Received: from new4-smtp.messagingengine.com ([66.111.4.230]:46491) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nLmuM-0002jM-MU for 53878@debbugs.gnu.org; Sun, 20 Feb 2022 09:09:51 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailnew.nyi.internal (Postfix) with ESMTP id 9A01F58032F; Sun, 20 Feb 2022 09:09:45 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute1.internal (MEProxy); Sun, 20 Feb 2022 09:09:45 -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=DuxIwogsYh5sFl M7/fAhfAjm45ynDA49Xd7Q+kxRWXs=; b=criDc9nEZ6vdv+5LsiRobKh/8p6tJH UeRATJrd7mGebcKb/wF8+sbYAU3JT03E/1Ys4ZarC/Q6SBJndc6OKt4GhNf6lwI4 Cr0WFDqjJ/km3uVGrKgmzZCqFD/XVTE0Ipft93Xd36exBIhKqPBSpIEvC1JcFpYR ABl6rUp3n/oCJdVGbok1dM4iU1Xb2az1mGa6CdeKyi7CfflqRsmaMX2ltjzV6Y49 ik5PnrlzwHojBUppLG339L1JhSIKkQJnaxzltIwulTMChp8hwEXvwbwySl7xxZY2 vqo8cyNozFs9EKA+030dSpv220YJvHACm1d1XYRExy9MhNyKxVmrlVEg== 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=DuxIwogsYh5sFlM7/ fAhfAjm45ynDA49Xd7Q+kxRWXs=; b=EzHflZvqNddupp7OVEASiDMthsDLhnhET aVI8kydeb+lUruMPD5+bTzGTS32mJMZVL01uT3nKHAsPr93mY62KUcX9l29YGk/4 iT+t3e37Ym8syLFJ6LF3L0udnrU99hoqeWQmEidy2uYKD+RV7ho67ObmlGruFpgf Yt+7+jID11zTebb1QmYeKqizi4JgfsgTbXyoSfsXzVQrqbAdDdklPucVSep0EnV1 6tuT7wj2XUDpSaCteI28gW830gtY74z0QmeGo/5UykjF8AV+1GyMRvZ/Csi2I2Sr i1XGEiSUFeZmAx9pH4wTsE/GMpfZc2CgZoheLImmoFSTdUCrFZlQw== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvvddrkeeggdeifecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufffkjghfgggtsehgtderredttdejnecuhfhrohhmpefrhhhilhhiphcu ofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtghomheqne cuggftrfgrthhtvghrnhephfeileeggfehvdfhtddvgeekffffiefhfeejgeegtdekveeu geekudekkeeggfeunecuffhomhgrihhnpehgnhhurdhorhhgnecuvehluhhsthgvrhfuih iivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepphhhihhlihhpsehphhhilhhiphhm tghgrhgrthhhrdgtohhm X-ME-Proxy: Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sun, 20 Feb 2022 09:09:44 -0500 (EST) From: Philip McGrath Date: Sun, 20 Feb 2022 09:09:36 -0500 Message-ID: <1853902.IiyMIqa0Cy@bastet> In-Reply-To: References: <20220208151316.1897345-1-philip@philipmcgrath.com> <2223439.vW7IG60toP@bastet> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart14840674.9saSdijX2C"; 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=1645366257; 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=DuxIwogsYh5sFlM7/fAhfAjm45ynDA49Xd7Q+kxRWXs=; b=TwTiIR1/HYiGyuIu9SWQIA20VUb08Pu1a4btuCmhzzw5mQhD9BWhE+jaae9S3p8kUQytKn /tjQLO/nISARnFbgEn8x5ybJNa6vYJhmbCELAm8WKbNUEYIdoA/dwWdVK0o5Fqe+C+0e3c 15E1/GqBdREoRYFMC5zvNiG9M97ThTGWqsy9Ctc8BpOqVj/C6cYm+2bsDwO7cnMud2wbtJ qmxPnGmklYGCLOKDn7pvurutz67gzt59lzdpWqMHH1BGSU6AmNW9UAA8bGL/ipN5J7ukbi KevjQnqHVWISjtoLn54RFYzPKBm2wLj677rzenSFhSVTebOK6X5eM4e7kQh+Hg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645366257; a=rsa-sha256; cv=none; b=eGcjCE4DPEVEMhDY63a5hx0bC7tQMSkaxMqTZ5x3n2jzbLVj+Ds7lkP6tXdFjsaftroZ7n /jblH0vUZtz+3fFHBwfkAL4h8lApf3y/ZKEF4z5CaFfrnn4B9Ll/c57iWt/4FMTL0rA2Ni evcSinG+A6ERDk3Hd0Sc5n3UeJnUB53DA7NOTRhyX1X7GARWZnLl4qLryeQ6D5kQmLHiLy Dru+gh9y8BHAvsZv4v44JgxDeq5DLW4iOJAZcascl1aA+K/H1rL/7Y33X0G/D2tYJQxv3w 4gk5XhrU0xxTuRxuRiGmZv+2y5+Vo4vhT1NhMrChScBtR+oEz1sbcwBhb22DcQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=criDc9nE; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=EzHflZvq; 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: -3.83 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=criDc9nE; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=EzHflZvq; 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: E72A63587A X-Spam-Score: -3.83 X-Migadu-Scanner: scn1.migadu.com X-TUID: OmhDbVYxj9Gu --nextPart14840674.9saSdijX2C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8"; protected-headers="v1" From: Philip McGrath To: Liliana Marie Prikler Cc: 53878@debbugs.gnu.org Subject: Re: [PATCH v3 09/15] gnu: Add racket-vm-cgc. Date: Sun, 20 Feb 2022 09:09:36 -0500 Message-ID: <1853902.IiyMIqa0Cy@bastet> In-Reply-To: References: <20220208151316.1897345-1-philip@philipmcgrath.com> <2223439.vW7IG60toP@bastet> Hi, On Sunday, February 20, 2022 4:03:26 AM EST Liliana Marie Prikler wrote: > So here's my suggestion: >=20 > Inside chez-and-racket-bootstrap, define (make-) functions for > the following: > - chez-bootstrap-bootfiles, chez-for-racket-bootstrap-bootfiles: > Taking version and origin. > - racket-vm-cgc: Taking version and origin. > - racket-vm-bc: Taking racket-vm-cgc. > - racket-vm-cs: Taking racket-vm-bc. >=20 > Inside chez, define chez-scheme, as well as non-bootstrapped versions > of stex et al. > Also define make-chez-scheme-for-racket, taking version and origin as > parameter. Finally, define chez-scheme-for-system, which uses > (resolve-interface '(gnu packages racket)) to get racket's version and > origin. >=20 > Inside racket, define %racket-version, %racket-origin, racket-minimal > and racket. It'd also be good if you made local definitions > (define racket-vm-cgc (make-racket-vm-cgc %racket-version %racket- > origin)) > (define racket-vm-bc (make-racket-vm-bc racket-vm-cgc)) > ... > in this file. My understanding=E2=80=94which is not very good!=E2=80=94is that this would= have the same=20 problem we do currently. It would be analogous to my example from : > But Ludo=E2=80=99's examples show that's wrong: those uses of `chez sche= me` are in > what the "expansion contexts" model would call "expression contexts". >=20 > Instead, I think rule =E2=84=96 2 prohibits any reference to a variable i= mported > from > another (gnu packages ...) module that will be evaluated when the (gnu > packages ...) modules are=E2=80=94visited? instantiated? [2][3]=E2=80=94I= DK when exactly, > but, for practical purposes, any variable reference that is not underneath > a lambda abstraction. >=20 > If that's right, IIUC, it would mean that: > > (define chez-scheme-for-racket > (make-chez-scheme-for-racket ...)) >=20 > would also be prohibited. >=20 > On the other hand, uses of `(racket-vm-for-system)` and `(chez-scheme-for- > system)` in an `imports` field should still be fine, thanks to the implic= it > thunks. The reference to `make-chez-scheme-for-racket` or `make-racket-vm-cs` or an= y=20 such procedure defined in "chez-and-racket-bootstrap.scm" would be evaluate= d=20 when "racket.scm" is instantiated=E2=80=94or whenever precisely it is that = causes the=20 problem. =2DPhilip --nextPart14840674.9saSdijX2C 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/HHoFAmISS6AACgkQygNjjfo/ HHo+SQ/+PyAtGhkcL8bhTk8Mn+RPL2I1OoE5mQq2yBMgvNsFOJ2HCLeIpR6Lf8n4 eXEH/ngp4RTELnziyN3WiYU9k5n5XzVAWN3XKNpWB2mVtkf8ACA5oTer/NIb0GTG eG5QUThL8P/zagZyW811HLFwuOqVVSKGeVK/dH/n49woazPFa179nmrfs0IzUL0+ A2I3jQ8wOJC5jIvP0XNmLpMw1/C7j+6JfR1ZZgdh9958usel8Y3seehECnjMogIL mnsqm87Jet9DFi4mOWiWjJz+wM19ueYzFPF4BfZatOzn3qxWls8fonUb2/T3DkLL iFewxB3lGfK9ghSMb8YZ545AWZ5xFE5IwQMabpRVjylmJRomQbf08PM02p5SjwRO t7+0R1xphT4XSpxo25kfM0/HButfkHuG/iVD6huPidozMKw0cJjwMPB9B1rzuAHU H+cYwHa6LydKgcVRssiE1QJYoH+kYAK7a2Zj1F35wxXOGhsbduceO6MycZWuqlju qABpSac9BCvIngpMDNsIekcpO2LtxAWrbC1KUAQtQMJhECfxVzXPAA32GSRuTped iAkz7tXqDzss1/l7/2V2e1DfpEtdYkZ+JH1CiasOhGRJpofa3295lLC3WuvQxQ5W 9nZ7E4zXlDyDjZx6xpQc0k2rOpJ6Gh/hOh/9rgI4IEI6MHnByEg= =9hf2 -----END PGP SIGNATURE----- --nextPart14840674.9saSdijX2C--