From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id oOtYB3KSI2KdzwAAgWs5BA (envelope-from ) for ; Sat, 05 Mar 2022 17:40:18 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id uOuZA3KSI2IOSQAAauVa8A (envelope-from ) for ; Sat, 05 Mar 2022 17:40:18 +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 ADBED3EC1F for ; Sat, 5 Mar 2022 17:40:17 +0100 (CET) Received: from localhost ([::1]:54528 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nQXS4-0005aM-94 for larch@yhetil.org; Sat, 05 Mar 2022 11:40:16 -0500 Received: from eggs.gnu.org ([209.51.188.92]:50688) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nQXRq-0005Zz-DF for guix-patches@gnu.org; Sat, 05 Mar 2022 11:40:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55049) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nQXRq-0004vd-3p for guix-patches@gnu.org; Sat, 05 Mar 2022 11:40:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nQXRq-000056-0t for guix-patches@gnu.org; Sat, 05 Mar 2022 11:40:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#54260] [PATCH 2/3] gnu: ucsim: Don't explicitly return #t from phases. Resent-From: Simon South Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Mar 2022 16:40:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 54260 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Maxime Devos Cc: 54260@debbugs.gnu.org Received: via spool by 54260-submit@debbugs.gnu.org id=B54260.164649838732754 (code B ref 54260); Sat, 05 Mar 2022 16:40:01 +0000 Received: (at 54260) by debbugs.gnu.org; 5 Mar 2022 16:39:47 +0000 Received: from localhost ([127.0.0.1]:48946 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nQXRa-0008WE-Lz for submit@debbugs.gnu.org; Sat, 05 Mar 2022 11:39:46 -0500 Received: from mailout.easymail.ca ([64.68.200.34]:56604) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nQXRY-0008W1-FS for 54260@debbugs.gnu.org; Sat, 05 Mar 2022 11:39:45 -0500 Received: from localhost (localhost [127.0.0.1]) by mailout.easymail.ca (Postfix) with ESMTP id CEFA0731F2; Sat, 5 Mar 2022 16:39:38 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at emo05-pco.easydns.vpn Received: from mailout.easymail.ca ([127.0.0.1]) by localhost (emo05-pco.easydns.vpn [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id JkN61is8C0SP; Sat, 5 Mar 2022 16:39:38 +0000 (UTC) Received: from laptop (23-233-96-244.cpe.pppoe.ca [23.233.96.244]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mailout.easymail.ca (Postfix) with ESMTPSA id 4C0BF72A58; Sat, 5 Mar 2022 16:39:38 +0000 (UTC) From: Simon South References: <49559efd0d392df29393ac7441b83f14c2840b21.1646484354.git.simon@simonsouth.net> Date: Sat, 05 Mar 2022 11:39:38 -0500 In-Reply-To: (Maxime Devos's message of "Sat, 05 Mar 2022 16:23:35 +0100") Message-ID: <87czj073qt.fsf@simonsouth.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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=1646498417; 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; bh=adAsnHjcS5pcwAWj7zesf6exlZIymLpQqGMB0E8GAsY=; b=EtSaFiIlyQMTH/t/zUTB8j/xV2FwmE+QxGd6fj63CB1RIQExxpFW4xL+tR4vrwBS2JDoAp y/Yjdu2QUCGLcVRZxUqGSb3GODVqS6y3SLQctdKg1LHIOsDlNamzyVmm3GrgIH1v81LC9X U6IcxCsAdvkzy+0RwQdWee/DfuCoOvdwOwLhyh9fU/TJSROr14+pjAhXAZKdjofaItbHDx 3ur7QThWAaVK5EeZED9pJE0VFeFJBnTaDAnO6d103Sj/QpXaPs2FF0pKbJRJ6FdMd+b19Q HptVakJeMjb9pjsmXNYKRYUD7uLyMuEfQUyNEUvZev9Zv7dwEA9VakclbJShAA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1646498417; a=rsa-sha256; cv=none; b=N5DboXwAME3RRz26XZ0ObXdh2jRNBvwLP3iZtAM+2dCZd+ZuOtRjg5WImIiBY5cAaqNlaW 95lXYPWkIoCOOgvAKJyDEXrUaKiUhNhR2WMmyhjeNOGXbC7UnrJC+XGxetcB1xq7VhLqWn aW7tiq0MGTmynHk71XGQMDSn3bzb18O7f2RhiPgcx0dK2e4Ve+5FOrg6zJbRjjmpzI56DU vAA15OfgyQotOlknj/zYvwQhXuWxiHJT8TGvyTl3DcEh8Mn+TITPuvMyzoVIKFZggs4DCK 1jwB1t2JkPx3VCjwD0qiIJUg6bR021+qLZsUu/1Sz9PLpOPi+r3RfU6HidnRUQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; 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: -4.14 Authentication-Results: aspmx1.migadu.com; dkim=none; 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: ADBED3EC1F X-Spam-Score: -4.14 X-Migadu-Scanner: scn0.migadu.com X-TUID: OCYBC0VNonFf Maxime Devos writes: > Additionally, you could make the #:configure-flags a G-exp and > eliminate input labels (or, in this case, output labels) This occurred to me, but is it not better in this case to rely on the "output" parameter passed into the procedure? Using "#$output" in this context feels like a violation of the Law of Demeter, like using a global variable where a local one would be appropriate. I'll drop the first patch though; I'd missed seeing the definition of "gnu-cross-build". -- Simon South simon@simonsouth.net