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 ms9.migadu.com with LMTPS id aFzzODseC2QHbgEASxT56A (envelope-from ) for ; Fri, 10 Mar 2023 13:10:36 +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 0E0/OTseC2TVMQAAauVa8A (envelope-from ) for ; Fri, 10 Mar 2023 13:10:35 +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 B03BC140C6 for ; Fri, 10 Mar 2023 13:10:35 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=Hl1u08Ry; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1678450235; 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=/IVNcjShvrF0anGt0TaIbsBZH5eBqL5wKEzqiqfESzU=; b=ppzRE7ztqmEPmbSx76vrPiUk5pYbIx4b1yhuwsbyCsVkumFZrSDPBPdZd8T+ZSdTMsTjNd Q0kvea0GI4CvSd1JzlHNsF3ovaU0+hyTYf3Kern0tfOk8Au1FQ55QbJgYq4bL2MjqIVtUS py1smXnLRv/bGhPguUN1m5Yc+NrOiTrFcgE4hC0gdawB05P1Gvx/+5iBKtbAMbByKCSuB+ gV/MnXZTNO12Z/Pyf9V9o8JobWtJLZL6ztCMyvLXo6S4XS/Ds4jj4LRDAOZEH2vSIbfyry ORG1gBAE6z3vt/22i42/DyMe7WgHQcXgcHTYF9jJR+xe5SXgEt5yoJXJxvlxRQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1678450235; a=rsa-sha256; cv=none; b=Pz3yK3EJeW5Nx3J/xSyiv+r64EbSoScGIr3Z8dSFUfSFkFAZeGPGh/cq8WPcTzfzo51ot4 PTZhRiAefhaYF9Eox2HpLYtq8ueBScINC0PLFNj8y2mm/TDCPOAheRDbYvWQRUZ//AZsFK /xKQY6fWf6OyM0gZJSSf9WtAn9TlfkuPwqhfIhQFHdczlHKpyi5qUEsvGaxISfGnxfXQKu HKmt2c+00sklbcntrDYZXOWX4Ad4F6aqgidwG/BSXvZVT1W6iT9/B7ocXRbL1eHsA2b3m7 3jNf28TNsEAIWD4u3l17xXFzlQHlsL9pabfUaJBvS4s/Ee5Xb8AiCzgU5ZTa9w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=Hl1u08Ry; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pabZb-0002hw-GD; Fri, 10 Mar 2023 07:10:11 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pabZT-0002fv-PT for guix-patches@gnu.org; Fri, 10 Mar 2023 07:10:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pabZT-0003ha-HL for guix-patches@gnu.org; Fri, 10 Mar 2023 07:10:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pabZT-0005Ya-Dg for guix-patches@gnu.org; Fri, 10 Mar 2023 07:10:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#62062] [PATCH] guix: Strip #:use-module lists. Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 10 Mar 2023 12:10:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 62062 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 62062@debbugs.gnu.org Received: via spool by 62062-submit@debbugs.gnu.org id=B62062.167845016321230 (code B ref 62062); Fri, 10 Mar 2023 12:10:03 +0000 Received: (at 62062) by debbugs.gnu.org; 10 Mar 2023 12:09:23 +0000 Received: from localhost ([127.0.0.1]:53929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pabYp-0005WJ-2g for submit@debbugs.gnu.org; Fri, 10 Mar 2023 07:09:23 -0500 Received: from mail-wm1-f41.google.com ([209.85.128.41]:40653) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pabYn-0005Vo-B3 for 62062@debbugs.gnu.org; Fri, 10 Mar 2023 07:09:21 -0500 Received: by mail-wm1-f41.google.com with SMTP id fm20-20020a05600c0c1400b003ead37e6588so5831751wmb.5 for <62062@debbugs.gnu.org>; Fri, 10 Mar 2023 04:09:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678450155; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=/IVNcjShvrF0anGt0TaIbsBZH5eBqL5wKEzqiqfESzU=; b=Hl1u08RyuXVKx56fXgXvRYcAFx2rvIps7QTRS6kT0jT5Y/VqDUbQALoZp/5oOaSxlq oIW2rO9O4jHisyimyD6jjVEv6tptRMIiGCqnXB7VdH9rKfhdK5OoDTV9yjSEXELuY/H2 RtsTB33B4ua41CnXgKyHUxJXhV7PMHaOE47ysj0oat9uYE8O4XS6qvMpKbTN/Ltnf07u Toc92gRaW+SEwQS5BuHfHdFbF991hrSiON/5R7fScLgAsv3JdPY8idZy259UFrBYq1CU +y6atOGZAX+5r1Xo+HrtzutDrSjPajnrCjiKEJpkfIH97izb7DadSUZiAHgoJ2sQvK/R GP+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678450155; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=/IVNcjShvrF0anGt0TaIbsBZH5eBqL5wKEzqiqfESzU=; b=Ush34EAxPL2kbI0YqUyVT1eGZc9F40kPw+DSEbxdZU3dLqaYRwlozONTAAombh9UK/ 15sJ1gOQNrjd7Ae1ja+Lq68ZZZRJLllUnljc78Krf74/7oRrDLm/u/XF4WX4bTexFjXg YFxrcT66wG6e2ccakIa4lhuwMKevIg/u7S+x5Gu6FQWKkpTQtlMXlLoDVnFe7VErF8Ad tNbgi/8qLpCAsUSGGFJo27lNbPNayRc1Vg0oOxujOI8Mt4BG/Y7lUOO2UI+EkaULbBBE ThusNRmYcEjJHG5/UNqYn8zlRd36ENoIdNTMT/JZQ/v8KgkEgMl5qIrw4GsXDIZlBsg6 bdpA== X-Gm-Message-State: AO0yUKW8C4CcADIicrlrKdteQxyVSCtYwhKvahp4R6ZpdJzuBN6Qu4to eF4BHkZTp1Q3477DG6BvU5AsTFXYAps= X-Google-Smtp-Source: AK7set+M/S32Y0kQe0baDeE3NqDmkQvD6YGKH8AYDJmPTlD6pZY9Q492h+BouRQKcjEdSti7ewt+lA== X-Received: by 2002:a05:600c:3b15:b0:3eb:3986:9c03 with SMTP id m21-20020a05600c3b1500b003eb39869c03mr2254340wms.4.1678450155608; Fri, 10 Mar 2023 04:09:15 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id 2-20020a05600c028200b003e1fee8baacsm2682687wmk.25.2023.03.10.04.09.15 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 10 Mar 2023 04:09:15 -0800 (PST) From: Simon Tournier In-Reply-To: <87sfed7xlx.fsf@gnu.org> References: <20230308232624.4348-1-ludo@gnu.org> <86bkl2nrvy.fsf@gmail.com> <87sfed7xlx.fsf@gnu.org> Date: Fri, 10 Mar 2023 12:37:57 +0100 Message-ID: <87fsacomzu.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: X-Migadu-Scanner: scn0.migadu.com X-Migadu-Queue-Id: B03BC140C6 X-Spam-Score: 4.81 X-Migadu-Spam-Score: 4.81 List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-TUID: BKM9GkqPyOH2 Hi, On ven., 10 mars 2023 at 10:40, Ludovic Court=C3=A8s wrote: [...] Thanks for explaining. > That is, one can do the same with gnu/packages/*.scm. It can be quite > tedious though due to =E2=80=9Cfalse positives=E2=80=9D (not exactly fals= e positives, > but cases where the compiler cannot tell for sure whether a module > really is unused). Ah, ok indeed it is a good exercise for the reader. :-) Cheers, simon