From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id vZjcGQeBLV8XIgAA0tVLHw (envelope-from ) for ; Fri, 07 Aug 2020 16:27:51 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id IPkhFQeBLV8iKAAAbx9fmQ (envelope-from ) for ; Fri, 07 Aug 2020 16:27:51 +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 D1DE59403D2 for ; Fri, 7 Aug 2020 16:27:50 +0000 (UTC) Received: from localhost ([::1]:50384 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k45Dh-0004rE-OK for larch@yhetil.org; Fri, 07 Aug 2020 12:27:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37372) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k45DZ-0004pY-3L for guix-devel@gnu.org; Fri, 07 Aug 2020 12:27:41 -0400 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21141) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1k45DS-0001wP-I2 for guix-devel@gnu.org; Fri, 07 Aug 2020 12:27:36 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1596817650; cv=none; d=zohomail.com; s=zohoarc; b=C1XW8Uap3eWuOhYhMslVnzge7rhtTJOvaI/XQpLvo6EhJZCQrOHI63+qcPf942PQNhF7Z9CODGJ6eg/+c3I8C/SwIzC0XqNA9EGaDSJa2my6vLYmPYpy4qaQOzINkZsoh8Fu4M4sNR6JWHBWViqTU/klq+N5uVfAol3ZroeTH0o= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1596817650; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=wJZRQnkqbceaxrNaaT5SAjogljUKgansz5j3SGwEx8w=; b=ItR6yMjx87qo7ect/b8gA7g2GrNAN/OFuCKoi9IqCYSi0tL6OAKy8ImMe2vuAhSbeAw/lJP808YR0edaChQhlyO4jrqSs4az5El2zh5JE2H+N8iysESqUJ48vx8N5zIKpxh6npF3MK2n+lAMiQXiGJgoGGxFtC1++2HnNfHz7D8= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1596817650; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=wJZRQnkqbceaxrNaaT5SAjogljUKgansz5j3SGwEx8w=; b=EAxn4jV0EtEE6pbIjz7NmxhJKa/bSbVMy0cp7uchbTycK6S2TN46f3xV876MwCKH Ze852nLFhcT02BkUYJPYUsZoQu9Jt9F2PFJ+V/glqXLv2oTUx4EVc0uF6OB/mtbruO1 0AY+d2/4UfeDTVrTKl3E8FlndZXUBsH4nI5uWM4g= Received: from localhost (p54ad4c6a.dip0.t-ipconnect.de [84.173.76.106]) by mx.zohomail.com with SMTPS id 1596817646027196.8723373377935; Fri, 7 Aug 2020 09:27:26 -0700 (PDT) References: <87mu386vk5.fsf@elephly.net> <20200807150326.4sk2lcgqxi6xf4y7@gravity> User-agent: mu4e 1.4.10; emacs 26.3 From: Ricardo Wurmus To: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= Subject: Re: merge wip-haskell? In-reply-to: <20200807150326.4sk2lcgqxi6xf4y7@gravity> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Fri, 07 Aug 2020 18:27:21 +0200 Message-ID: <87zh765sly.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/07 11:59:15 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -30 X-Spam_score: -3.1 X-Spam_bar: --- X-Spam_report: (-3.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=EAxn4jV0; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.21 X-TUID: pE/3rllesPcI Jakub K=C4=85dzio=C5=82ka writes: > On Thu, Aug 06, 2020 at 10:13:46AM +0200, Ricardo Wurmus wrote: >> Number 4 is by far the ugliest change of them all. In order to >> statically link packages we need to add all the =E2=80=9Cstatic=E2=80=9D= outputs of all >> Haskell inputs *and* the =E2=80=9Cstatic=E2=80=9D outputs of *their* Has= kell inputs. >> This is not easily accomplished, so I ended up using =E2=80=9Cpackage-cl= osure=E2=80=9D >> on all direct inputs, and then filtered the result to packages with >> names starting with =E2=80=9Cghc-=E2=80=9D. If there was a more appropr= iate tool I=E2=80=99d >> use it, but I don=E2=80=99t think it exists. > > Perhaps we should work on making propagated-inputs per-output? That way, > :static could propagate the :static output of the dependencies. > > This would also be useful in other situations. For example, a package > might contain both a binary and a library, and the library must > propagate its dependencies to make the header files work. > > I don't know what a good syntax for this would be. The binary / library problem is particularly interesting to me as we have a few Python bioinfo tools that also work as libraries. When used as a library we need propagation, but when uses as command line tools propagation is not needed (and can be harmful due to the effects on PYTHONPATH). Syntax seems less important than verifying that this actually works, though. Alas, as someone who has committed and encouraged syntactic crimes with excessive reader macros, I think my vote on syntax carries no weight :) --=20 Ricardo