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 4Jz3NXZvLV9GGgAA0tVLHw (envelope-from ) for ; Fri, 07 Aug 2020 15:12:54 +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 qMKpMXZvLV86cQAAbx9fmQ (envelope-from ) for ; Fri, 07 Aug 2020 15:12:54 +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 4E8E9940703 for ; Fri, 7 Aug 2020 15:12:54 +0000 (UTC) Received: from localhost ([::1]:56508 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k443B-0003pU-5e for larch@yhetil.org; Fri, 07 Aug 2020 11:12:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47602) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k4431-0003p8-UI for guix-devel@gnu.org; Fri, 07 Aug 2020 11:12:44 -0400 Received: from mail-pg1-x529.google.com ([2607:f8b0:4864:20::529]:38400) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1k442z-0001Zk-5e for guix-devel@gnu.org; Fri, 07 Aug 2020 11:12:43 -0400 Received: by mail-pg1-x529.google.com with SMTP id 128so1038576pgd.5 for ; Fri, 07 Aug 2020 08:12:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=content-transfer-encoding:from:mime-version:subject:date:message-id :references:cc:in-reply-to:to; bh=H+Ah9cs4XWtixHflpV5hd+4o0rnBIXsdOzeMl5f23wk=; b=pV3+d6VDMBdNACzZ8VckYF5ZeBHkxLqU1Cvpid07xZh1TucnXC3GgMFLm397FqVTqg RBP3FrUKBmAMILl/uFDbq92HJGHcN7zCEkJqH9vSscvd50q1qJ19eEl5Ca2KSO3PdW6S qJmrqJ2dBf0NzjZWNtjfNYYrF37HdueTC7C79IumsyloVFMhN0TSNH+ZJdoGcZyqIERJ DLfXrkh0Cb1VQuDsQ+IgF+V16j9ZGwNt4+OX2hs/N1B2uTKZrACHT3ZDsJtpynd8buEq knVhOlTwwx8hdiMZ0TzcnArzcd16xNhInNKxiTv5ZjyRQIwCfGokeMaWD3vcLbj2xc8/ YRXw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:content-transfer-encoding:from:mime-version :subject:date:message-id:references:cc:in-reply-to:to; bh=H+Ah9cs4XWtixHflpV5hd+4o0rnBIXsdOzeMl5f23wk=; b=seCcSkuxTqfTrhjt7CRX6Rv1kHyoQEC+du5Qzkd73DalnOBcfJ3QMRjmkXjPGkntrg iPBtKO3kvbh2aPSBWoAwE/09ANEppO0zhT6OHzStryd2tjICH4nsE1Srz+d5EMHYEPCD Py6JExO+o6XV+eHfQ7ywe1eaiWdA4uP1zHSdTwCnDtomkEUglnD+UufCK8dZDgygV882 wTNvO7WZWHssa5GnMDpWZSF8QzJgN/DCX0ocmj5XjZyivYPLb6MIjbAszeuv4nA37MdL tDjaSh59PSa3sGZqFRhS1cDdKP2BNpNENozRRsrxHe37paWv9uQwOX1t+xvoMZ0IuqcL 5jZQ== X-Gm-Message-State: AOAM530Vsg/xkKxKpkyO9Qn58M8txAwuSTVZVSUC2o5UW0WYfOe1ulv+ 5nnsFWgoBCP5aiTRZCcUYG6SwvSoR5s= X-Google-Smtp-Source: ABdhPJx08uWtSa58jqQKJ7wGnXoYMUexLFNwn6m8a3fuhf6UgrvYxgif9KjR+SAY5jBEyntuFqHxbQ== X-Received: by 2002:a63:d208:: with SMTP id a8mr11766301pgg.351.1596813158090; Fri, 07 Aug 2020 08:12:38 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:c80e:82f7:e657:5cb2? ([2600:1700:83b0:8bd0:c80e:82f7:e657:5cb2]) by smtp.gmail.com with ESMTPSA id o19sm10847829pjs.8.2020.08.07.08.12.37 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 07 Aug 2020 08:12:37 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: John Soo Mime-Version: 1.0 (1.0) Subject: Re: merge wip-haskell? Date: Fri, 7 Aug 2020 08:12:36 -0700 Message-Id: <1930592E-05B5-454A-BDA3-E57AEAB609EF@asu.edu> References: <20200807150326.4sk2lcgqxi6xf4y7@gravity> In-Reply-To: <20200807150326.4sk2lcgqxi6xf4y7@gravity> To: =?utf-8?Q?Jakub_K=C4=85dzio=C5=82ka?= X-Mailer: iPhone Mail (17G68) Received-SPF: pass client-ip=2607:f8b0:4864:20::529; envelope-from=jsoo1@asu.edu; helo=mail-pg1-x529.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, MIME_QP_LONG_LINE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-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=fail (rsa verify failed) header.d=asu-edu.20150623.gappssmtp.com header.s=20150623 header.b=pV3+d6VD; dmarc=fail reason="SPF not aligned (relaxed)" header.from=asu.edu (policy=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.59 X-TUID: mNp0Qwdhe1BL Hi Jakub, I could see splitting the static output being useful but I would rather wait= until some evidence that the closure size would be too large. Also I=E2=80=99= m not sure propagation is necessary for dependents to find libraries or use p= aths from an input. Thoughts? John On Aug 7, 2020, at 8:04 AM, Jakub K=C4=85dzio=C5=82ka w= rote: =EF=BB=BFOn 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 o= utputs of all > Haskell inputs *and* the =E2=80=9Cstatic=E2=80=9D outputs of *their* Haske= ll inputs. > This is not easily accomplished, so I ended up using =E2=80=9Cpackage-clos= ure=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 appropria= te 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. Thoughts? Regards, Jakub K=C4=85dzio=C5=82ka