From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8OOTKYD3XmF5hQEAgWs5BA (envelope-from ) for ; Thu, 07 Oct 2021 15:34:56 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id cEpSJYD3XmELaQAAB5/wlQ (envelope-from ) for ; Thu, 07 Oct 2021 13:34:56 +0000 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 3216333DCE for ; Thu, 7 Oct 2021 15:34:56 +0200 (CEST) Received: from localhost ([::1]:37256 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYTXz-0000sw-6R for larch@yhetil.org; Thu, 07 Oct 2021 09:34:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33394) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYTSJ-00088F-4D for bug-guix@gnu.org; Thu, 07 Oct 2021 09:29:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:34888) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mYTSI-0001pG-Rs for bug-guix@gnu.org; Thu, 07 Oct 2021 09:29:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mYTSI-0001zD-NW for bug-guix@gnu.org; Thu, 07 Oct 2021 09:29:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#51021: detect loops in module/package graph Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 07 Oct 2021 13:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 51021 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Mark H Weaver Received: via spool by 51021-submit@debbugs.gnu.org id=B51021.16336133387616 (code B ref 51021); Thu, 07 Oct 2021 13:29:02 +0000 Received: (at 51021) by debbugs.gnu.org; 7 Oct 2021 13:28:58 +0000 Received: from localhost ([127.0.0.1]:46431 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTSE-0001yl-0D for submit@debbugs.gnu.org; Thu, 07 Oct 2021 09:28:58 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59620) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTSB-0001yV-NO for 51021@debbugs.gnu.org; Thu, 07 Oct 2021 09:28:56 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:36584) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYTS6-0001g1-0K; Thu, 07 Oct 2021 09:28:50 -0400 Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:59174 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYTS5-0004ex-N8; Thu, 07 Oct 2021 09:28:49 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20211005025819.3f7756d7@riseup.net> <87czojkilc.fsf@netris.org> Date: Thu, 07 Oct 2021 15:28:48 +0200 In-Reply-To: <87czojkilc.fsf@netris.org> (Mark H. Weaver's message of "Tue, 05 Oct 2021 03:59:00 -0400") Message-ID: <87o881c6b3.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) 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: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 51021@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1633613696; 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; bh=yEdDlQi2qdQ9je/Y17jULP/IRjoLzzpL9NYPTeM4Vaw=; b=E6GQC1lNlGYQZWIkV/GmKu8pKvJkKPUXaAEK6f+Ajt35wG2IYrVypYTXfyTFhnS2UpCy0V 6P3afDq6cyplPYfUVzB7+NHFXMlJ+FIqgWUxVdsiU3VyoN0RrACOYpCxorp+JY+nDM2pwQ THkXWO0aAQ1SEHrgMudHt20GyB4DwhPYWgrOi/bgM5178jhV6K13a13YAV6bQ8aHqKsiPv zoMGYCRG8+F/1tRkBLxkREjT3wL080EtaZVMX8dYv4kDbPfdslrWBIAW2TW8923vbLpDYM CGgl+0udaHcB3lF8Ienk75SsuoaQaDhuKUHGjYjd5Ril/iih4J46BQRgiw9V7Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1633613696; a=rsa-sha256; cv=none; b=cgs5abxEZkwAsoWIf5bpWRkOJiEH/u492pfDMR31jMIqr+SAl3I0fYNXA4KhjdhFPyDBlx 7fzTxd+QFScn/SIY3qYgnM/4y7ueIYUuZ3NTKfBHWaNJ5YLmlpk00YD/dnvTXnNYh1KLgM sbTIgGA3e2tg+QrSuxTD4u6EltMh/JyV5KZSahLVKRvKdhDr29ttv+kQFsyHv1v9F8B4Hs MQBn6cp301QPXK5znMsJNwdllfrUzwKgKja//OvAgePPTNDD8QXad58I5xre2y8ECcuyBK QhnCt6gRD3AgTWMTKclE2t9ZhHikn1JxF/Yi4OcCW0jxCV4rsvEk4fA70tI/eA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Spam-Score: -2.22 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 3216333DCE X-Spam-Score: -2.22 X-Migadu-Scanner: scn1.migadu.com X-TUID: hJSoFuKIjACc Hi Mark, Mark H Weaver skribis: > raingloom writes: >> I'll be short and blunt, currently it sucks big time whenever you have >> a loop in your packages. > > Agreed. I've been concerned about this problem since the early days of > Guix. See . > > Back in August 2014, there was a strongly connected component (SCC) > containing 51 package modules: Thanks for the analysis and for the updated patch! Module cycles are something we allow and even rely on, so finding cycles in itself is not necessarily helpful. What would help is finding cyclic top-level references, which are those that cause problems, but that=E2=80= =99s another story. WDYT? Now, I=E2=80=99m not sure if raingloom was talking about these cycles, or r= ather about cycles in the package dependency graph? Chris Baines proposed a patch a while back to report those, though I can=E2=80=99t find it anymore. IIRC, the difficulty was in making sure cyc= le detection would not be too expensive, and in keeping a readable style. Thanks, Ludo=E2=80=99.