From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 10 07:09:23 2023 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 To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#62062] [PATCH] guix: Strip #:use-module lists. 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-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 62062 Cc: 62062@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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