From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:44867) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gtuA0-0004aL-KT for guix-patches@gnu.org; Wed, 13 Feb 2019 08:01:16 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gttvO-0004NU-8f for guix-patches@gnu.org; Wed, 13 Feb 2019 07:46:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:46575) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gttvO-0004N6-4s for guix-patches@gnu.org; Wed, 13 Feb 2019 07:46:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gttvN-0004dA-To for guix-patches@gnu.org; Wed, 13 Feb 2019 07:46:01 -0500 Subject: [bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. Resent-Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Wed, 13 Feb 2019 13:45:43 +0100 From: Julien Lepiller In-Reply-To: <20190213133924.2435f0dd@scratchpost.org> References: <7a093050-4495-7650-7b9b-2abf73a2efc7@cs.ru.nl> <3d6474b5553bfe4480dcbfbb558c3b3b@lepiller.eu> <20190213133924.2435f0dd@scratchpost.org> Message-ID: 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: Danny Milosavljevic Cc: Dan Frumin , 34466@debbugs.gnu.org Le 2019-02-13 13:39, Danny Milosavljevic a écrit : > 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 that 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) Ah, thanks for the info! So I guess we don't need to end any phase with #t in that package definition, correct?