From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id II53GyO2eGICcQAAbAwnHQ (envelope-from ) for ; Mon, 09 May 2022 08:35:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id yE2YGiO2eGLUCgEAG6o9tA (envelope-from ) for ; Mon, 09 May 2022 08:35:15 +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 F2F8538FD3 for ; Mon, 9 May 2022 08:35:14 +0200 (CEST) Received: from localhost ([::1]:55588 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nnwzB-0003QR-Qr for larch@yhetil.org; Mon, 09 May 2022 02:35:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51196) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnwz1-0003QF-1T for guix-patches@gnu.org; Mon, 09 May 2022 02:35:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33636) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nnwz0-0000bf-Ng for guix-patches@gnu.org; Mon, 09 May 2022 02:35:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nnwz0-0001gY-Hr for guix-patches@gnu.org; Mon, 09 May 2022 02:35:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 09 May 2022 06:35:02 +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: Philip McGrath , 55248@debbugs.gnu.org Cc: Maxime Devos , Liliana Marie Prikler Received: via spool by 55248-submit@debbugs.gnu.org id=B55248.16520780906457 (code B ref 55248); Mon, 09 May 2022 06:35:02 +0000 Received: (at 55248) by debbugs.gnu.org; 9 May 2022 06:34:50 +0000 Received: from localhost ([127.0.0.1]:55766 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnwyo-0001g5-FU for submit@debbugs.gnu.org; Mon, 09 May 2022 02:34:50 -0400 Received: from mailrelay.tugraz.at ([129.27.2.202]:50619) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnwym-0001fw-GY for 55248@debbugs.gnu.org; Mon, 09 May 2022 02:34:49 -0400 Received: from lprikler-laptop.ist.intra (gw.ist.tugraz.at [129.27.202.101]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4KxWcN4Yjrz1LWpD; Mon, 9 May 2022 08:34:44 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.11.0 mailrelay.tugraz.at 4KxWcN4Yjrz1LWpD DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1652078084; bh=GyQzCshUWKsVF1uJXbBODXCuw+ivBbNQwQBayP5MMOk=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=bEXO5xr983qzy18nyQQkSDuQOV53OcGhGAZsO22ecKRdJUFr2f91fjMz2xukQSek9 wLs3fO7VV26NC6jAPguDf1kcA+fyx5rAsFLzU1KmhOZl6J9UmJ/1KQs2TMA3DKdrl+ w+B/hylp2VVBtkMORvpFkaoHtSiq5hmz0reYf0bo= Message-ID: <1e7cf69aa12c81effaf2eb1ceff0997faca1cab2.camel@ist.tugraz.at> From: Liliana Marie Prikler Date: Mon, 09 May 2022 08:34:44 +0200 In-Reply-To: <1328772b3ccb2d3909f8bca6fe14659e04434e3e.1652075689.git.philip@philipmcgrath.com> References: <1328772b3ccb2d3909f8bca6fe14659e04434e3e.1652075689.git.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.117 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=1652078115; 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=GyQzCshUWKsVF1uJXbBODXCuw+ivBbNQwQBayP5MMOk=; b=Rz5en+Ooxl/2hpJgjfbb/BEfIcabUhcJrvzv6ezyx4IYR54t3+Vl3Q6qaJLX2XGUAk+znb ppXiCydv2aT0CAx/Dcp0Yk5gDoBNx1/Gk5t0DItcpCvQ3el/RASBT7VlddmoRBEcmR7BR9 hNwCJeBDZB3HSpfRau+lUE8FJyg1GQq0TrHjfr4C7QwthysDjncXDAlGFXONfVU/UHwNiC nzvL1ijzsDxJhi2CDADWfXbA2DgS31r5koGuRAjluohOBGif+DuHJuAuraWNo6yPom5i6d 0XDe37+v0c2gbMu5HeEb70WgaGJRP8cf3+8FkPv3m46vj3j2bMR8oOefq7AxfA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1652078115; a=rsa-sha256; cv=none; b=iABCo2UHlRBSD0yGw5ZB9wH7s3ENeLqZbEIwKt9p+GTiJXDOY1cGp2cX5U9LsO3IGArxG3 CqOcoJwoSfFY7QNDqm3OfowO1JlhiluYYAHnWgmPJaWWWIChfOrLHKkXGCGI1YeX452DAm DUeQtAFCBbOAsYFM2cGrsNqwL1fKtl030uGzMeLG6z9J0Tin7hY2qMm/khwRpfI+jhPaX9 IjHpD1aPFWFqy33ebfel5sf8GAHXfNd3ftksLuX/iNAQHtHiT41FzQqX6rywsb77jh5fvE fZtPmzLUg27tH1IQx1BP0etgT3eAzCv8otCK5YR3FJy+DdpLYybGmoDdr5xJzA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=bEXO5xr9; 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: 8.80 X-Spam: Yes Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=bEXO5xr9; 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: F2F8538FD3 X-Spam-Score: 8.80 X-Migadu-Spam: Yes X-Migadu-Scanner: scn1.migadu.com X-TUID: 8hkJT6sY83lF Am Montag, dem 09.05.2022 um 02:02 -0400 schrieb Philip McGrath: > Once the issues in are > resolved, 'chez-scheme-for-racket' and 'racket-vm-cs' will be able to > run even on systems for which native code generation is not > supported. It's not clear what behavior would be useful from 'nix- > system->chez-machine': since the current implementation is flawed and > easy to misuse, we remove it for now, replacing the remaining uses > with 'racket-cs-native-supported-system?'. I think you're again making a wrong assumption here. nix-system->chez- scheme has purposes outside of solving supported-system. > +(define* (racket-cs-native-supported-system? #:optional > +                                             (system > +                                              (or (%current-target- > system) > +                                                  (%current- > system)))) > +  "Can Racket's variant of Chez Scheme generate native code for > SYSTEM? > +Otherwise, SYSTEM can use only the ``portable bytecode'' backends." > +  (let ((chez-arch (target-chez-arch system)) > +        (chez-os (target-chez-os system))) > +    (and (and=> (assoc-ref %chez-features-table chez-os) > +                ;; NOT assoc-ref: supported even if cdr is #f > +                (cut assoc chez-arch <>)) > +         #t))) I think this should rather be explicit in %chez-features-table. You can prefix features that only work inside racket with 'racket-. Then, this can be solved with memq just as with chez-scheme's supported- systems in 7/9. Cheers