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 ms5.migadu.com with LMTPS id aJR6GuzAeGKdOwEAbAwnHQ (envelope-from ) for ; Mon, 09 May 2022 09:21:16 +0200 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 UG2cGezAeGI9LAEAG6o9tA (envelope-from ) for ; Mon, 09 May 2022 09:21:16 +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 B40C2A31A for ; Mon, 9 May 2022 09:21:15 +0200 (CEST) Received: from localhost ([::1]:50570 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nnxhh-0004Uc-JI for larch@yhetil.org; Mon, 09 May 2022 03:21:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59680) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnxhW-0004JA-Qb for guix-patches@gnu.org; Mon, 09 May 2022 03:21:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33729) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nnxhW-0007ja-Gb for guix-patches@gnu.org; Mon, 09 May 2022 03:21:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nnxhV-00053G-U6 for guix-patches@gnu.org; Mon, 09 May 2022 03:21:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 09 May 2022 07:21:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55248 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Liliana Marie Prikler , 55248@debbugs.gnu.org Cc: Maxime Devos , Liliana Marie Prikler Received: via spool by 55248-submit@debbugs.gnu.org id=B55248.165208083919381 (code B ref 55248); Mon, 09 May 2022 07:21:01 +0000 Received: (at 55248) by debbugs.gnu.org; 9 May 2022 07:20:39 +0000 Received: from localhost ([127.0.0.1]:55859 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnxh8-00052X-L4 for submit@debbugs.gnu.org; Mon, 09 May 2022 03:20:38 -0400 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:41395) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnxh7-00052K-2j for 55248@debbugs.gnu.org; Mon, 09 May 2022 03:20:37 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id E8B825C0150; Mon, 9 May 2022 03:20:31 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute5.internal (MEProxy); Mon, 09 May 2022 03:20:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc:cc:content-transfer-encoding :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; t=1652080831; x=1652167231; bh=aKAzZhYZTw OqbSoN5c7cAL3FldD8uqSYA5mgaK8wBQ8=; b=CzKK4y2dfSQ3+7koDKwvKAMFm4 fNYL2PKb5ys3oabs0ysTDDLZKPh5sCAyYOSJMKfC0uRO6gI/uG5Z3RNx9nNkaeWB BOSpyfCIhhmB9L4TNHmYHAs7huUL3dJLKNfouqUoryft6Iv0WAsTGxkAHXTL1gw+ /A0an8YE5Q5HDIM7aLGk+TLwTquRACkenlWuWVE1XUDxzwJrbA45ooDrfzwgm2zN 8FdvIO6VkkISK7Nnx6n5dSikNevl6sBgOEbNevdij3QNNMVeI9a8nyVTVukJ/VnW URgA456hbSXbyEnws4aeOluHNfXlAnLZ0x1tPZrx27R1LzDCB0glXF9ucGQA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :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=fm1; t=1652080831; x=1652167231; bh=aKAzZhYZTwOqb SoN5c7cAL3FldD8uqSYA5mgaK8wBQ8=; b=VlmSwpaivRW7bPWaxR4NsaWBc6Fvi kd351SjUnfz6Lo5HV3kv86zlxilyjzWKpRMLdWRzepZ7qzln78jn2+cep7wxLy6a D2Ne9jP6KRj4ygaIb2QJnwpTltA3yKFZFwbaEhrsYCL7NAKMj/ss9Bn7x473hiCS zq+otBdqzaxuGlUtV/gqCkdVBx0ufoqnquBY292+xcUyYAmoRH1gfrtFoPcfMeHL aKK66v9XM4ANK6SRjxbH4YqapfuJMTANT4ZYzPyIwOrMzG3Ah8k8EwFT+fgOx9gZ zUhzOMmTin8DWbs+0pgqB4cQvvv4YHz8q2lJCiyuBna7rbjG9X/uDQckA== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvfedrfeekgdduudelucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepkfffgggfuffvvehfhfgjtgfgsehtjeertddtfeejnecuhfhrohhmpefrhhhi lhhiphcuofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtg homheqnecuggftrfgrthhtvghrnhepgfdtgfethfevteehgeejfffgledtgfdvvdeuveel leegtdeilefhtdfgieeuieelnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpe hmrghilhhfrhhomhepphhhihhlihhpsehphhhilhhiphhmtghgrhgrthhhrdgtohhm X-ME-Proxy: Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 9 May 2022 03:20:31 -0400 (EDT) Message-ID: <2c0151f9-f8b3-bd0e-7023-b6d29b9f6df1@philipmcgrath.com> Date: Mon, 9 May 2022 03:20:30 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 Content-Language: en-US References: From: Philip McGrath In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit 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-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1652080876; 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=aKAzZhYZTwOqbSoN5c7cAL3FldD8uqSYA5mgaK8wBQ8=; b=IAQvjO1juWJR72Bb0TisGJEoPGutSd+W6dA/4kDNg7Pz3IUBjm84u+tvrvXtAznSCXxAAC ed5hoD2V0U14LYQXrQxhXyQaFTIx7T1HPvYS7f4A3m8XmkQIhO6AI4k0cQYNJWuXuFRiNj l+UBdMKwNMq0W5XrffuhBZ6b5CgklmC+4J1HSyzzD1RwI7DC6pGHVXlEu1wApBcvwqaAi/ uQDAUiFXzwu0JsZ2URcdHNkRLeY4g4olaqVmUoOEvZ5/lcoMKB6jEgrL2N8/FwdJUbClBG xfrY+WO9Ut7WlAAzFubaccELfUmM/6oyaHTn/7ul+31JiGBBqsHFpVWZK5jQiA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1652080876; a=rsa-sha256; cv=none; b=GcRQeyzpuWyybn4/vi6H8CPoQojduAZAb8Utrfsw9ye0TkL4fiX7CYMe5G7UKwn7E+M9Bs GQA+N1TqDErbj6N/lAun6lctLBX+d/xVdVSQw3xRPvI45MA7QNvjgt3JBue79k5NEUoUTJ q9ppaA8EEAdLnU0SSMlFCZ8QhD11gocFmCMJBgD505Qli2w7JCUUbcgaGx0bAk1ukL+Bc9 EM0dhMlQIw6KNnKW6O9zV5L9dLXyPlUHFqTZ2yrNnFDT0njtp9yw2/l170RpERwkR/DE+h MSXOEqHV0+Lz6SNXudMPriig6nnPOxAzKJkn9fQbts4zNjLRHheacJ5wZ0e2rg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=CzKK4y2d; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b=VlmSwpai; 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: 1.70 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=CzKK4y2d; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b=VlmSwpai; 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: B40C2A31A X-Spam-Score: 1.70 X-Migadu-Scanner: scn0.migadu.com X-TUID: yNJeJxI4MkJL Hi, On 5/9/22 02:21, Liliana Marie Prikler wrote: > Am Montag, dem 09.05.2022 um 02:02 -0400 schrieb Philip McGrath: >> In this commit, we reimplement 'chez-upstream-features-for-system' >> using the new '%chez-features-table', which explicitly specifies >> platform support for both 'chez-scheme' and 'chez-scheme-for-racket', >> rather than assuming a non-false result from 'nix-system->chez-machine' >> means that the system is supported. >> >> The remaining uses of 'nix-system->chez-machine' still make that >> incorrect assumption and must be repaired in a future commit. > Do they really? As far as I can see, we have a bijection between > supported nix systems and chez-machines, with the behaviour when > looking up unsupported systems being undefined. This means that nix- > system->chez-machine is well-formed in contexts outside of supported- > system, e.g. also for the 6/9 patch. > I think a bijection happens to exist at the moment, but only by accident. For example, while it isn't packaged for Guix, apparently aarch64-w64-mingw32 is a thing. Racket's Chez Scheme only added tarm64nt support as of this release, but had previously supported aarch64 with other kernels and the NT kernel with other architectures. If Guix had added that system before Racket's Chez did, 'nix-system->chez-machine' would have known how to write it as a Chez machine type, but nonetheless it wouldn't have had a native code backend. We explicitly list the systems for which Racket's Chez has a native code backend in '%chez-features-table', so I really think we should just use it, rather than try to be clever with 'nix-system->chez-machine'. -Philip