From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:40903) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gttpc-0007qy-Ab for guix-patches@gnu.org; Wed, 13 Feb 2019 07:40:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gttpb-0007O2-OW for guix-patches@gnu.org; Wed, 13 Feb 2019 07:40:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:46571) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gttpb-0007Nc-Kl for guix-patches@gnu.org; Wed, 13 Feb 2019 07:40:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gttpb-0004UJ-3d for guix-patches@gnu.org; Wed, 13 Feb 2019 07:40:03 -0500 Subject: [bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. Resent-Message-ID: Date: Wed, 13 Feb 2019 13:39:24 +0100 From: Danny Milosavljevic Message-ID: <20190213133924.2435f0dd@scratchpost.org> In-Reply-To: <3d6474b5553bfe4480dcbfbb558c3b3b@lepiller.eu> References: <7a093050-4495-7650-7b9b-2abf73a2efc7@cs.ru.nl> <3d6474b5553bfe4480dcbfbb558c3b3b@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/yx=cl4XiG.C1ZkC.uRgrrIC"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Julien Lepiller Cc: Dan Frumin , 34466@debbugs.gnu.org --Sig_/yx=cl4XiG.C1ZkC.uRgrrIC Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi Julien, > When [invoke's child return status] is correct, [invoke] returns #, so we need to explicitly return #t. That's not true. invoke returns #t in the successful case--I designed it t= hat way mostly to get rid of the many vestigal #t's in phases. (I hope that in a future version of guix, the necessity of using #t to end = phases will be gone entirely) --Sig_/yx=cl4XiG.C1ZkC.uRgrrIC Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlxkD/wACgkQ5xo1VCww uqUpEgf/foMEkdmWnl3Vf8ijMuzCJwRI2ipDoRvDmPcVgkyCRg7t5ik5UGDibSKY rPaZB194CJLS/hQ/Zs8RitZyNVvLluyDbheclXh2BAOeTQENGdSaJ/voP5T7SKmK EoP8LOBhy5xQPRuoMPYIaMkIvtmAn2qhSI5+t8PAv4SbP+EiBuDyXcJoENRRm5/P tKKsxCNu0PMUPu+/mj0DCXzcA412cvqfNQSwd9lx/0T2eR9MxyhOUQNYjBspBg5E /xA41FMHsa+b8OQSTd1sGF0E4YpPOCctIffT3oqMeNug4IFakXIPIs5ZdbUw2Tn3 Q6lfNJLGEtd6YjWX23D6zyxsUjjPtQ== =Xj8K -----END PGP SIGNATURE----- --Sig_/yx=cl4XiG.C1ZkC.uRgrrIC--