From mboxrd@z Thu Jan 1 00:00:00 1970 From: Florian Paul Schmidt Subject: Re: proposal: make build failures explicit results in the store Date: Thu, 26 Nov 2015 13:18:18 +0100 Message-ID: <5656F88A.1050106@gmx.net> References: <56556DFC.3050402@gmx.net> <87610qmpfn.fsf@T420.taylan> <87h9kai58h.fsf@gnu.org> <5655C38E.9050907@gmx.net> <877fl5da1q.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40283) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a1vVK-0001ud-OP for guix-devel@gnu.org; Thu, 26 Nov 2015 07:18:27 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a1vVG-0004ej-Jp for guix-devel@gnu.org; Thu, 26 Nov 2015 07:18:26 -0500 In-Reply-To: <877fl5da1q.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: =?UTF-8?Q?Ludovic_Court=c3=a8s?= Cc: guix-devel@gnu.org -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 11/25/2015 10:49 PM, Ludovic Courtès wrote: > Florian Paul Schmidt skribis: > >> Oh, I wasn't even aware there was a DB. I had a more functional >> picture in mind where there was a map > > See > . > > >> package definition -> entr(y|ies) in store > > The store is at a lower level, it doesn’t know about packages. I never meant to imply that it did. If you have a map (a function) f: A -> B where A is the input type and B is the result type, how could B "know about" A? It's a completely separate type from A and the map f. This is completely off topic from the original question, but I do wonder how the impression that I might have implied that the store "knows about packages" came about :) Oh, sure, the map f might be composed of other maps like taking a package definition to (a) derivation(s) first and then taking the derivation(s) to (a) store entr(y|ies). All I wanted to express was that I had a lack of knowledge about what gets mapped to what :) The output of the map is not just one or more store entries, but also possibly, depending on the configuration, a DB entry which records the failure, which indeed then is a variant type in some sense, albeit a little obscured :) Flo - -- https://fps.io -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJWVviKAAoJEA5f4Coltk8ZrE4IAIbyLUODQ32JGdfVPemOgVuq X5816EfFywW3h/ChSVOHbI6q/wZ9oPv84+R4FvGORDnGq23cGqNMVmpG0isBqzsi hQujWMwCIDDO3TA+ih7Fm826I4eVkWeQq0fjh03FcZ+xJ370/LvHZhAnUP3g+zfx 1q4gbbgVG+IeiOkeCqXEI15v8veIPLjU30IN9LRW7ZL3K3pfofgYilQlQ2b/DPNn 4m0hRsobI9VcJY9QsySQd07QpgJ58z7ZJ/vrxed/MsZhdn/mK7xI3w4JpBy0h86J TQW5seCRX5V1w7EkuYCT1zwtUAzMxEsuhmpGAGZJ2wUCg6YevCEE6N6M948aUq8= =EAj3 -----END PGP SIGNATURE-----