From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id +JU3IfG9QWNYUgAAbAwnHQ (envelope-from ) for ; Sat, 08 Oct 2022 20:14:09 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eNlLIfG9QWNUfwEAauVa8A (envelope-from ) for ; Sat, 08 Oct 2022 20:14:09 +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 02A66A35A for ; Sat, 8 Oct 2022 20:14:09 +0200 (CEST) Received: from localhost ([::1]:38750 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ohEKt-0007YD-Qa for larch@yhetil.org; Sat, 08 Oct 2022 14:14:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33774) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ohEKr-0007Y4-AZ for bug-guix@gnu.org; Sat, 08 Oct 2022 14:14:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42352) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ohEKo-0005jN-97 for bug-guix@gnu.org; Sat, 08 Oct 2022 14:14:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ohEKo-0004dK-4U for bug-guix@gnu.org; Sat, 08 Oct 2022 14:14:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#58198: topological-sort does not sort topologically in case of diamonds Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 08 Oct 2022 18:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58198 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 58198@debbugs.gnu.org Received: via spool by 58198-submit@debbugs.gnu.org id=B58198.166525283317789 (code B ref 58198); Sat, 08 Oct 2022 18:14:02 +0000 Received: (at 58198) by debbugs.gnu.org; 8 Oct 2022 18:13:53 +0000 Received: from localhost ([127.0.0.1]:41430 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ohEKf-0004cr-Bv for submit@debbugs.gnu.org; Sat, 08 Oct 2022 14:13:53 -0400 Received: from michel.telenet-ops.be ([195.130.137.88]:57662) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ohEKc-0004cg-9M for 58198@debbugs.gnu.org; Sat, 08 Oct 2022 14:13:51 -0400 Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] ([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) by michel.telenet-ops.be with bizsmtp id VWDo2800L20ykKC06WDoPk; Sat, 08 Oct 2022 20:13:49 +0200 Message-ID: <26f63a49-ad17-865b-8ad3-43bf6e76389b@telenet.be> Date: Sat, 8 Oct 2022 20:13:48 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.0 Content-Language: en-US From: Maxime Devos References: <7e5cff81-debc-bc04-6cc0-9d88c5ea1d9b@telenet.be> In-Reply-To: <7e5cff81-debc-bc04-6cc0-9d88c5ea1d9b@telenet.be> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------sLlLKHqFPvJczSKadWG2OZ1F" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1665252829; bh=CbiMYq97KzBBLM+4rn8DHnznYwiSXje8Bno3OEn244E=; h=Date:Subject:From:To:References:In-Reply-To; b=IJsmLSezpnTNAySKg3L/VjV1gSJUP/UqR/Xxpz8xsSqXFeJhFzFADL2NasvDVSoK1 xkAY2LStmYJ8mweD881Pzh5BS8dnqKM1n403ZnLa9JQcGelgAvLngNG8HTooUp3ZrI SSJvDTrxxuY2MrAv+JbpPeVP/4i9ot1xy6Dsq8zQWIY/m381FIIRa9dYBlR4mY06K3 uNXYFnE/ciK/CSALMRHt62mhnAnwmnq//ej2yj8c0fjaYHHjETLGk6wDCJal1CzQeu LXYUcDc+32UpNq6/13TgCuuFpidAfSCcn/VtQB1Hmtsp6KfbJmc+nBNSiHbmkAeqmQ whHwsVsf9Scag== 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: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" 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=1665252849; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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: dkim-signature; bh=CbiMYq97KzBBLM+4rn8DHnznYwiSXje8Bno3OEn244E=; b=YMm+IoZ3zaTtt6/LgCJ156ge4IyYxbCksKYd6OtvTaYqcs5WZVVVZQitcWEzbOoXswUM1w 1pQXmZdDxGTX+MpN5RQyLqYEl9tNctMPhR5PzUlL66+7055PtTESA3IkPqLV+tTGpbZPY6 PGHOgF3Ad7U7ZMgIiVL7cCvUH71HOV9BUBQX9Z3YkqjdBMAkWAnAZYDS+HgE4Kk0S3DN7+ BhcGGt2gEXxpHVA66JN1uuLeAWTBpYWyN9uyfqW64kToM8N69wHnTAF2rRRMi3Cg1TcUpi nlaV69sJ88GhCeMn/kNOlldU4HFSGgQ0ZW8Ho7nMoKPL9Y3FzqHILb91OiKWLw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1665252849; a=rsa-sha256; cv=none; b=gtCMjL3UiERceVuWd2/MsxrGyyR7fjo4pQgghdkZFKLDNwOBxKbmjWqKgBl/1DmRcL6vei Hnw8SVOiihvALI8zAnYjGztQl+J2F917q7AVsULiveSdJWUiwuMzIGwwCt1MlEVnJT4Z+s pyQYR/pspbt7LyjGowbjaIM+3yAm4LR0ismdmF9Zu1PUsFNmSjHY3aNTIBLD0rbSJDUE28 qu4dQvUepPG9zWEynlGfWHYK4tyAQ4D5uu/Xh7E3jQV8c0EHH1s6Jo3IJPrQgzVPn/CcSS jd7m55mc05W63d4VZsv283suJUYsFj18eW3aEr1wsBFuSAd1LOCmN6iM7qU8TA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=IJsmLSez; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 6.72 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=IJsmLSez; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 02A66A35A X-Spam-Score: 6.72 X-Migadu-Scanner: scn1.migadu.com X-TUID: PWb7FXqhCfwl This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------sLlLKHqFPvJczSKadWG2OZ1F Content-Type: multipart/mixed; boundary="------------00pI6i2KISTuOt6NGAu0gHYW"; protected-headers="v1" From: Maxime Devos To: 58198@debbugs.gnu.org Message-ID: <26f63a49-ad17-865b-8ad3-43bf6e76389b@telenet.be> Subject: Re: topological-sort does not sort topologically in case of diamonds References: <7e5cff81-debc-bc04-6cc0-9d88c5ea1d9b@telenet.be> In-Reply-To: <7e5cff81-debc-bc04-6cc0-9d88c5ea1d9b@telenet.be> --------------00pI6i2KISTuOt6NGAu0gHYW Content-Type: multipart/mixed; boundary="------------cy5mFQv3JtrFSoIQNIxQNGb8" --------------cy5mFQv3JtrFSoIQNIxQNGb8 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SSBmb3VuZCBhIHNvbHV0aW9uOiBjaGFuZ2UgdGhlIGRlcHRoLWZpcnN0IHRyYXZlcnNhbCB0 byBhIGJyZWFkdGgtZmlyc3QgDQp0cmF2ZXJzYWwgLS0gaXQgdXNlcyAocGZkcyBoYW10cykg ZnJvbSBndWlsZS1wZmRzIGluc3RlYWQgb2YgKGd1aXggDQpzZXRzKS8oaWNlLTkgdmxpc3Qp LCBzbyB3aWxsIG5lZWQgc29tZSBzbWFsbCBjaGFuZ2VzIGZvciB1c2UgaW4gR3VpeCANCih1 bmxlc3MgdGhlIGFkZGl0aW9uYWwgZGVwZW5kZW5jeSBpcyBjb25zaWRlcmVkIGFjY2VwdGFi bGUpLCBidXQgaXQgDQpzaG91bGQgYXQgbGVhc3QgdW5ibG9jayB0aGUgd29ya3NwYWNlIGlt cGxlbWVudGF0aW9uIGluIGFudGlveGlkYW50Lg0KDQpHcmVldGluZ3MsDQpNYXhpbWUuDQo= --------------cy5mFQv3JtrFSoIQNIxQNGb8 Content-Type: text/x-scheme; charset=UTF-8; name="topological-sort.scm" Content-Disposition: attachment; filename="topological-sort.scm" Content-Transfer-Encoding: base64 Ozs7IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVudCBmb3IgR05V Cjs7OyBDb3B5cmlnaHQgwqkgMjAxOSBMdWRvdmljIENvdXJ0w6hzIDxsdWRvQGdudS5vcmc+ Cjs7OyBDb3B5cmlnaHQgwqkgMjAyMiBNYXhpbWUgRGV2b3MgPG1heGltZWRldm9zQHRlbGVu ZXQuYmU+Cjs7Owo7OzsgVGhpcyBmaWxlIGlzIHBhcnQgb2YgR05VIEd1aXguCjs7Owo7Ozsg R05VIEd1aXggaXMgZnJlZSBzb2Z0d2FyZTsgeW91IGNhbiByZWRpc3RyaWJ1dGUgaXQgYW5k L29yIG1vZGlmeSBpdAo7OzsgdW5kZXIgdGhlIHRlcm1zIG9mIHRoZSBHTlUgR2VuZXJhbCBQ dWJsaWMgTGljZW5zZSBhcyBwdWJsaXNoZWQgYnkKOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZv dW5kYXRpb247IGVpdGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAo7Ozsg eW91ciBvcHRpb24pIGFueSBsYXRlciB2ZXJzaW9uLgo7OzsKOzs7IEdOVSBHdWl4IGlzIGRp c3RyaWJ1dGVkIGluIHRoZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAo7Ozsg V0lUSE9VVCBBTlkgV0FSUkFOVFk7IHdpdGhvdXQgZXZlbiB0aGUgaW1wbGllZCB3YXJyYW50 eSBvZgo7OzsgTUVSQ0hBTlRBQklMSVRZIG9yIEZJVE5FU1MgRk9SIEEgUEFSVElDVUxBUiBQ VVJQT1NFLiAgU2VlIHRoZQo7OzsgR05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1v cmUgZGV0YWlscy4KOzs7Cjs7OyBZb3Ugc2hvdWxkIGhhdmUgcmVjZWl2ZWQgYSBjb3B5IG9m IHRoZSBHTlUgR2VuZXJhbCBQdWJsaWMgTGljZW5zZQo7OzsgYWxvbmcgd2l0aCBHTlUgR3Vp eC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3LmdudS5vcmcvbGljZW5zZXMvPi4KCjs7IFRv IGJlIHVzZWQgYnkgdGhlIGltcGxlbWVudGF0aW9uIG9mIHdvcmtzcGFjZXMuCjs7IEV4dHJh Y3RlZCBmcm9tIChndWl4IGltcG9ydCB1dGlscyksIGFuZCBjaGFuZ2VkIGZyb20gKGd1aXgg c2V0cykKOzsgdG8gYSBndWlsZS1wZmRzIGVxdWl2YWxlbnQuCihkZWZpbmUtbW9kdWxlICh0 b3BvbG9naWNhbC1zb3J0KQogICM6ZXhwb3J0ICh0b3BvbG9naWNhbC1zb3J0KQogICM6dXNl LW1vZHVsZSAoKHNyZmkgc3JmaS02OSkgIzpzZWxlY3QgKGhhc2gpKQogICM6dXNlLW1vZHVs ZSAoKGljZS05IG1hdGNoKSAjOnNlbGVjdCAobWF0Y2gpKQogICM6dXNlLW1vZHVsZSAocGZk cyBoYW10cykpCgooZGVmaW5lICh0b3BvbG9naWNhbC1zb3J0IG5vZGVzCiAgICAgICAgICAg ICAgICAgICAgICAgICAgbm9kZS1kZXBlbmRlbmNpZXMKICAgICAgICAgICAgICAgICAgICAg ICAgICBub2RlLW5hbWUpCiAgIlBlcmZvcm0gYSBicmVhZHRoLWZpcnN0IHRyYXZlcnNhbCBv ZiB0aGUgZ3JhcGggcm9vdGVkIGF0IE5PREVTLCBhIGxpc3Qgb2YKbm9kZXMsIGFuZCByZXR1 cm4gdGhlIGxpc3Qgb2Ygbm9kZXMgc29ydGVkIGluIHRvcG9sb2dpY2FsIG9yZGVyLiAgQ2Fs bApOT0RFLURFUEVOREVOQ0lFUyB0byBvYnRhaW4gdGhlIGRlcGVuZGVuY2llcyBvZiBhIG5v ZGUsIGFuZCBOT0RFLU5BTUUgdG8Kb2J0YWluIGEgbm9kZSdzIHVuaXF1ZWx5IGlkZW50aWZ5 aW5nIFwia2V5XCIuIgogIDs7IEl0IGlzIGltcG9ydGFudCB0byBkbyBhIGJyZWFkdGgtZmly c3QgdHJhdmVyc2FsIGluc3RlYWQgb2YgYSBkZXB0aC1maXJzdAogIDs7IHRyYXZlcnNhbCAt LSBhIHNpbXBsZXIgZGVwdGgtZmlyc3QgdHJhdmVyc2FsIGhhcyBjYXVzZWQgZmFpbHVyZXMg aW4gdGhlCiAgOzsgcGFzdC4KICAobGV0IGxvb3AgKCh1bmV4cGFuZGVkLW5vZGVzIG5vZGVz KQoJICAgICAocmVzdWx0ICcoKSkgOyBpbiByZXZlcnNlIHRvcG9sb2dpY2FsIG9yZGVyCgkg ICAgIDs7IElkZW50aWNhbCB0byAncmVzdWx0JywgZXhjZXB0IGZvciB1c2luZyBhIGRpZmZl cmVudCBkYXRhCgkgICAgIDs7IHN0cnVjdHVyZS4KCSAgICAgKHZpc2l0ZWQgKG1ha2UtaGFt dCBoYXNoIGVxdWFsPykpKQogICAgKGlmIChudWxsPyB1bmV4cGFuZGVkLW5vZGVzKQoJKHJl dmVyc2UgcmVzdWx0KSA7IGRvbmUhCgkobGV0IGlubmVyLWxvb3AgKChjdXJyZW50LXVuZXhw YW5kZWQtbm9kZXMgdW5leHBhbmRlZC1ub2RlcykKCQkJIChsYXRlci11bmV4cGFuZGVkLW5v ZGVzICcoKSkKCQkJIChyZXN1bHQgcmVzdWx0KQoJCQkgKHZpc2l0ZWQgdmlzaXRlZCkpCgkg IChtYXRjaCBjdXJyZW50LXVuZXhwYW5kZWQtbm9kZXMKCSAgICAoKGZpcnN0IC4gY3VycmVu dC11bmV4cGFuZGVkLW5vZGVzKQoJICAgICAoaWYgKGhhbXQtcmVmIHZpc2l0ZWQgKG5vZGUt bmFtZSBmaXJzdCkgI2ZhbHNlKQoJCSA7OyBBbHJlYWR5IHZpc2lzdGVkLCBub3RoaW5nIHRv IGRvIQoJCSAoaW5uZXItbG9vcCBjdXJyZW50LXVuZXhwYW5kZWQtbm9kZXMKCQkJICAgICBs YXRlci11bmV4cGFuZGVkLW5vZGVzIHJlc3VsdCB2aXNpdGVkKQoJCSA7OyBFeHBhbmQgJ2Zp cnN0JywgcHV0dGluZyBkZXBlbmRlbmNpZXMgaW4KCQkgOzsgJ2xhdGVyLXVuZXhwYW5kZWQt bm9kZXMnLgoJCSAoaW5uZXItbG9vcCBjdXJyZW50LXVuZXhwYW5kZWQtbm9kZXMKCQkJICAg ICAoYXBwZW5kIChub2RlLWRlcGVuZGVuY2llcyBmaXJzdCkKCQkJCSAgICAgbGF0ZXItdW5l eHBhbmRlZC1ub2RlcykKCQkJICAgICAoY29ucyBmaXJzdCByZXN1bHQpCgkJCSAgICAgKGhh bXQtc2V0IHZpc2l0ZWQgKG5vZGUtbmFtZSBmaXJzdCkgI3RydWUpKSkpCgkgICAgKCgpIDs7 IEFsbCBub2RlcyBvbiB0aGUgY3VycmVudCBsZXZlbCBhcmUgZXhwYW5kZWQsIGRlc2NlbmQh CgkgICAgIChsb29wIGxhdGVyLXVuZXhwYW5kZWQtbm9kZXMgcmVzdWx0IHZpc2l0ZWQpKSkp KSkpCg== --------------cy5mFQv3JtrFSoIQNIxQNGb8 Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc" Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2 ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc /gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4 LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0 k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D =3DOVqp -----END PGP PUBLIC KEY BLOCK----- --------------cy5mFQv3JtrFSoIQNIxQNGb8-- --------------00pI6i2KISTuOt6NGAu0gHYW-- --------------sLlLKHqFPvJczSKadWG2OZ1F Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCY0G93AUDAAAAAAAKCRBJ4+4iGRcl7sh+ AQD47vtLtwUZCP2F8mpKldyVZQiuB5R7DyaLl88m+RW1fQD/aZGDSalHSHtpIPN9BXmoSTOwm68A iEhH+jjux13HgwI= =8LfQ -----END PGP SIGNATURE----- --------------sLlLKHqFPvJczSKadWG2OZ1F--